SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > MereologicalDifferenceFn
Next BinaryFunction: MereologicalProductFn    Up: BinaryFunction, SpatialRelation    Previous BinaryFunction: MeasureFn   

MereologicalDifferenceFn comparison table
Subject have domain2 have domain1 be first domain of have range be second domain of documentation have axiom is a kind of is an instance of
BinaryFunction  identityElement distributesThe Class of Functions that require two arguments
(=>
 	(instance ?FUNCTION BinaryFunction)
 	(valence ?FUNCTION 2))
TernaryRelation 
SpatialRelation  valence subrelationThe Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations
(=>
    (and
       (instance ?REL SpatialRelation)
       (holds ?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
Relation 
MereologicalDifferenceFnObjectObjectidentityElementObjectdistributes(MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2
(=>
      (equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2))
      (forall (?PART)
 	       (<=>
 	            (part ?PART ?OBJ3)
 		      (and
 	  	           (part ?PART ?OBJ1)
                        (not
 			          (part ?PART ?OBJ2))))))
 SpatialRelation

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