(=>     (temporalPart ?POS         (WhenFn ?THING))     (time ?THING ?POS))	Merge.kif 8039-8042	If a time position is a part of the time of existence of a physical, then the physical exists during the time position
(=>     (temporallyBetweenOrEqual         (BeginFn             (WhenFn ?PHYS)) ?TIME         (EndFn             (WhenFn ?PHYS)))     (and         (time ?PHYS ?TIME)         (instance ?TIME TimePoint)))	Merge.kif 8310-8319	If a time point is between or at the beginning of the time of existence of a physical and the end of the time of existence of the physical, then the physical exists during the time point and the time point is an instance of time point

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners