time

-------------------------


(=>
    (temporalPart ?POS
        (WhenFn ?THING))
    (time ?THING ?POS))
Merge.kif 7969-7972
(=>
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS)))
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint)))
Merge.kif 8212-8221


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