MereologicalDifferenceFn concept from the SUMO knowledge base

Next BinaryFunction: MereologicalProductFn Up: BinaryFunction, SpatialRelation Previous BinaryFunction: MeasureFn

MereologicalDifferenceFn

subject fact

MereologicalDifferenceFn documentation (MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2 2001-11-30 13:34:42.0
has axiom
(=>
(equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2))
(forall (?PART)
(<=>
(part ?PART ?OBJ3)
(and
(part ?PART ?OBJ1)
(not
(part ?PART ?OBJ2))))))
2001-11-30 13:34:42.0
has domain1 Object
has domain2 Object
has range Object
is an instance of BinaryFunction
is an instance of SpatialRelation

BinaryFunction is first domain of distributes 2001-11-30 13:33:43.0
is first domain of identityElement
is second domain of distributes

Class is third domain of domain 2001-11-30 13:33:51.0
is third domain of domainSubclass

Abstract is disjoint from Physical 2001-11-30 13:33:32.0

MereologicalDifferenceFn	*documentation* (MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2
	has axiom (=> (equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (and (part ?PART ?OBJ1) (not (part ?PART ?OBJ2))))))
	has domain1 Object
	has domain2 Object
	has range Object
	*is an instance* of** BinaryFunction
	*is an instance* of** SpatialRelation
BinaryFunction	*is first domain* of** distributes
	*is first domain* of** identityElement
	*is second domain* of** distributes
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical