SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > WhereFn
Next BinaryFunctionAssociativeFunction    UpBinaryFunction, SpatialRelation    Previous BinaryFunctionUnionFn   

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 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  
WhereFnTimePointPhysicalidentityElementRegiondistributesMaps 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)))))
 SpatialRelationWhenFn

Next BinaryFunctionAssociativeFunction    UpBinaryFunction, SpatialRelation    Previous BinaryFunctionUnionFn