overlapsTemporally
(=>
(
dateEstablished
?THING ?DATE)
(
exists
(?DAY)
(
and
(
instance
?DAY ?DATE)
(
overlapsTemporally
?DAY
(
BeginFn
(
WhenFn
?THING))))))
Mid-level-ontology.kif 985-990
dateEstablished
physique
and
position temporel
interval temporel
interval temporel
est une
instance
de
position temporel
le
d
�but de
temps
d'existence de
physique
recouvre
interval temporel
(=>
(
dateUsed
?OBJECT ?DATE ?AGENT)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
patient
?PROCESS ?OBJECT)
(
agent
?PROCESS ?AGENT)
(
uses
?OBJECT ?AGENT)
(
overlapsTemporally
?DATE
(
WhenFn
?PROCESS)))))
Mid-level-ontology.kif 998-1006
dateUsed
objet
,
interval temporel
and
AutonomousAgent
processus
processus
est une
instance
de
processus
objet
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
utilise
objet
temps
d'existence de
processus
recouvre
interval temporel
(=>
(
exportPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT1)
(
destination
?EXPORT ?AGENT2))))
Economy.kif 2359-2367
exportPartnerInPeriod
AutonomousAgent
,
AutonomousAgent
and
interval temporel
interval temporel
processus
interval temporel
est une
instance
de
interval temporel
processus
est une
instance
de
Exporting
temps
d'existence de
processus
recouvre
interval temporel
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
(=>
(
holdsDuring
?T
(
attribute
?H
Fasting
))
(
not
(
exists
(?P)
(
and
(
instance
?P
Eating
)
(
agent
?P ?H)
(
overlapsTemporally
?T
(
WhenFn
?P))))))
Mid-level-ontology.kif 30649-30656
Fasting
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
recouvre
interval temporel
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
Tourniquet
est un
attribut
de
objet
pendant
objet
IME
AutonomousAgent
processus
and
transf�re
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
Bleeding
transf�re
est une
instance
de
attacher
AutonomousAgent
exp
�rimente
processus
transf�re
aboutit
�
AutonomousAgent
objectTransferred
transf�re
and
objet
objet
a pour
but
processus
2
processus
2 est une
instance
de
Bleeding
immediatement
apr
�s
temps
d'existence de
transf�re
recouvre
temps
d'existence de
processus
2
AutonomousAgent
exp
�rimente
processus
2
(=>
(
importPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT2)
(
destination
?EXPORT ?AGENT1))))
Economy.kif 2647-2655
importPartnerInPeriod
AutonomousAgent
,
AutonomousAgent
and
interval temporel
interval temporel
processus
interval temporel
est une
instance
de
interval temporel
processus
est une
instance
de
Exporting
temps
d'existence de
processus
recouvre
interval temporel
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
(=>
(
instance
?SHOWER
RainShowering
)
(
holdsDuring
(
WhenFn
?SHOWER)
(
exists
(?RAIN1 ?RAIN2 ?AREA)
(
and
(
instance
?RAIN1
Raining
)
(
instance
?RAIN2
Raining
)
(
instance
?AREA
Region
)
(
subProcess
?RAIN1 ?SHOWER)
(
subProcess
?RAIN2 ?SHOWER)
(
eventLocated
?RAIN1 ?AREA)
(
eventLocated
?RAIN2 ?AREA)
(
not
(
overlapsTemporally
(
WhenFn
?RAIN1)
(
WhenFn
?RAIN2)))))))
Weather.kif 2865-2879
Physique
est une
instance
de
RainShowering
entit�
entit�
and
entit�
entit�
est une
instance
de
Raining
entit�
est une
instance
de
Raining
entit�
est une
instance
de
r�gion
entit�
est un
sous
-processus de
physique
entit�
est un
sous
-processus de
physique
eventLocated
entit�
and
entit�
eventLocated
entit�
and
entit�
temps
d'existence de
entit�
ne
recouvre
%n{pas}
temps
d'existence de
entit�
pendant
temps
d'existence de
physique
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