time
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7991-7994
Wenn
TimePosition
ist ein
teil
von die
zeit
des Bestehens von
Physical
%n{nicht},
dann
** Physical
besteht
waehrend
** TimePosition
%n{nicht}
(=>
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS)))
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
)))
Merge.kif 8234-8243
Wenn
TimePoint
ist
zwischen
oder gleichzeitig mit der
anfang
von die
zeit
des Bestehens von
Physical
und das
ende
von die
zeit
des Bestehens von
** Physical
,
dann
** Physical
besteht
waehrend
** TimePoint
%n{nicht} und
** TimePoint
ist ein
fall
von
TimePoint
%n{nicht}
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