SUMO   View all facts   Glossary   Help

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

WhereFn
subject			fact

WhereFn	documentation Maps an Object and a TimePoint at which the Object exists to the Region where the Object existed at that TimePoint
	has axiom (=> (and (instance ?REL CaseRole) (holds ?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ)))
	has axiom (=> (equal (WhereFn ?THING ?TIME) ?REGION) (holdsDuring ?TIME (exactlyLocated ?THING ?REGION)))
	has axiom (=> (instance ?ARTIFACT StationaryArtifact) (exists (?PLACE) (forall (?TIME) (equal (WhereFn ?ARTIFACT ?TIME) ?PLACE))))
	has axiom (=> (origin ?PROCESS ?OBJ) (located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))
	has domain1 Physical
	has domain2 TimePoint
	has range Region
	has relatedInternalConcept WhenFn
	is an instance of BinaryFunction
	is an instance of BinaryFunction
	is an instance of SpatialRelation
BinaryFunction	is first domain of distributes
	is first domain of identityElement
	is second domain of distributes
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

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