time
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7969-7972
Position temporel
est une
partie
de
temps
d'existence de
physique
physique
existe
pendant
position temporel
(=>
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS)))
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
)))
Merge.kif 8212-8221
Point temporel
est
entre
ou pendant le
d
�but de
temps
d'existence de
physique
et la
fin
de
temps
d'existence de
physique
physique
existe
pendant
point temporel
point temporel
est une
instance
de
point temporel
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