time
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7991-7994
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Fisico
Fisico
existe
durante
Posicao Temporal
(=>
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS)))
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
)))
Merge.kif 8234-8243
Ponto no tempo
e'
entre
ou durante o
comeco
de
tempo
de existencia de
Fisico
e o
fim
de
tempo
de existencia de
Fisico
Fisico
existe
durante
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
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