SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Function > BinaryFunction > MereologicalSumFn

MereologicalSumFn 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	have relatedInternalConcept
BinaryFunction			identityElement		distributes	The Class of Functions that require two arguments	(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2))	TernaryRelation
SpatialRelation			valence		subrelation	The 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
MereologicalSumFn	Object	Object	identityElement	Object	distributes	(MereologicalSumFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2	(=> (equal ?OBJ3 (MereologicalSumFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (or (part ?PART ?OBJ1) (part ?PART ?OBJ2)))))		SpatialRelation	MereologicalProductFn

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