SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Function > BinaryFunction > WhereFn

WhereFn 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
WhereFn	TimePoint	Physical	identityElement	Region	distributes	Maps an Object and a TimePoint at which the Object exists to the Region where the Object existed at that TimePoint	(=> (origin ?PROCESS ?OBJ) (located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))		SpatialRelation	WhenFn

Next BinaryFunction: AssociativeFunction    Up: BinaryFunction, SpatialRelation    Previous BinaryFunction: UnionFn