SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Function > BinaryFunction > MereologicalProductFn

MereologicalProductFn 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
MereologicalProductFn	Object	Object	identityElement	Object	distributes	(MereologicalProductFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2	(=> (equal ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (and (part ?PART ?OBJ1) (part ?PART ?OBJ2)))))		SpatialRelation	MereologicalDifferenceFn

Next BinaryFunction: MereologicalSumFn    Up: BinaryFunction, SpatialRelation    Previous BinaryFunction: MereologicalDifferenceFn