temporalPart
(=>
(
holdsDuring
?TIME
(
attribute
?AGENT
Surprise
))
(
exists
(?PART ?PROP)
(
and
(
temporalPart
?PART
(
PastFn
?TIME))
(
holdsDuring
?PART
(
expects
?AGENT ?PROP))
(
holdsDuring
?TIME
(
truth
?PROP
False
)))))
Mid-level-ontology.kif 19348-19354
Surprise
est un
attribut
de
entit�
pendant
position temporel
position temporel
entit�
position temporel
est une
partie
de
avant
position temporel
expects
entit�
and
entit�
pendant
position temporel
truth
entit�
and
False
pendant
position temporel
(=>
(
holdsDuring
?TIME
(
attribute
?PERSON
Drunk
))
(
exists
(?PAST)
(
and
(
temporalPart
?PAST
(
PastFn
?TIME))
(
holdsDuring
?PAST
(
exists
(?DRINK ?ALCOHOL)
(
and
(
instance
?DRINK
Drinking
)
(
patient
?DRINK ?ALCOHOL)
(
instance
?ALCOHOL
AlcoholicBeverage
)
(
agent
?DRINK ?PERSON)))))))
Mid-level-ontology.kif 8673-8684
Drunk
est un
attribut
de
entit�
pendant
position temporel
position temporel
position temporel
est une
partie
de
avant
position temporel
entit�
entit�
entit�
est une
instance
de
boire
entit�
est un
patient
de
entit�
entit�
est une
instance
de
AlcoholicBeverage
entit�
est un
agent
de
entit�
pendant
position temporel
(=>
(
holdsDuring
?TIME
(
instance
?AREA
MilitaryFront
))
(
exists
(?BATTLE)
(
and
(
instance
?BATTLE
Battle
)
(
eventLocated
?BATTLE ?AREA)
(
temporalPart
?TIME ?BATTLE))))
Mid-level-ontology.kif 9018-9024
Objet
est une
instance
de
MilitaryFront
pendant
position temporel
processus
processus
est une
instance
de
bataille
eventLocated
processus
and
objet
position temporel
est une
partie
de
processus
(=>
(
instance
?ANAT
AnatomicalStructure
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
part
?ANAT ?ORGANISM)))))
Merge.kif 14921-14927
Entit�
est une
instance
de
structure anatomique
physique
position temporel
physique
est une
instance
de
organisme
position temporel
est une
partie
de
temps
d'existence de
physique
entit�
est une
partie
de
physique
pendant
position temporel
(=>
(
instance
?C
Convoy
)
(
exists
(?V1 ?V2 ?TIME)
(
and
(
not
(
equal
?V1 ?V2))
(
instance
?V1
Vehicle
)
(
instance
?V2
Vehicle
)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?C))
(
holdsDuring
?TIME
(
and
(
member
?V1 ?C)
(
member
?V2 ?C))))))
Mid-level-ontology.kif 22334-22346
Physique
est une
instance
de
Convoy
entit�
entit�
and
position temporel
entit�
est
entit�
entit�
est une
instance
de
Vehicle
entit�
est une
instance
de
Vehicle
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
temps
d'existence de
physique
entit�
est un
membre
de
physique
entit�
est un
membre
de
physique
pendant
position temporel
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17323-17345
Processus
est une
instance
de
Disappearing
entit�
AutonomousAgent
,
processus
and
position temporel
processus
est une
instance
de
Searching
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
temps
d'existence de
processus
l'argument
processus
ISC
processus
ISC est une
instance
de
Discovering
processus
ISC est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
ISC n' %n{pas} la
force
modale
de
Possibility
pendant
position temporel
(=>
(
instance
?INTERVAL
TimeInterval
)
(
exists
(?POINT)
(
and
(
instance
?POINT
TimePoint
)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 7947-7952
Position temporel
est une
instance
de
interval temporel
position temporel
position temporel
est une
instance
de
point temporel
position temporel
est une
partie
de
position temporel
(=>
(
instance
?O
OlympicGames
)
(
or
(
exists
(?W)
(
and
(
instance
?W
WinterSeason
)
(
temporalPart
(
WhenFn
?O) ?W)))
(
exists
(?S)
(
and
(
instance
?S
SummerSeason
)
(
temporalPart
(
WhenFn
?O) ?S)))))
Sports.kif 1340-1350
Physique
est une
instance
de
OlympicGames
position temporel
position temporel
est une
instance
de
WinterSeason
temps
d'existence de
physique
est une
partie
de
position temporel
position temporel
position temporel
est une
instance
de
SummerSeason
temps
d'existence de
physique
est une
partie
de
position temporel
(=>
(
instance
?PART
BodyPart
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
component
?PART ?ORGANISM)))))
Merge.kif 14955-14961
Entit�
est une
instance
de
partie du corps
physique
position temporel
physique
est une
instance
de
organisme
position temporel
est une
partie
de
temps
d'existence de
physique
entit�
est un
composant
de
physique
pendant
position temporel
(=>
(
instance
?POINT
TimePoint
)
(
exists
(?INTERVAL)
(
and
(
instance
?INTERVAL
TimeInterval
)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 7940-7945
Position temporel
est une
instance
de
point temporel
position temporel
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
position temporel
(=>
(
instance
?S
Scar
)
(
exists
(?T ?OP ?L)
(
and
(
temporalPart
?T
(
PastFn
(
WhenFn
?S)))
(
holdsDuring
?T
(
instance
?L
Lesion
))
(
instance
?OP
OrganOrTissueProcess
)
(
patient
?OP ?L)
(
result
?OP ?S))))
Mid-level-ontology.kif 9408-9418
Physique
est une
instance
de
Scar
position temporel
processus
and
entit�
position temporel
est une
partie
de
avant
temps
d'existence de
physique
entit�
est une
instance
de
Lesion
pendant
position temporel
processus
est une
instance
de
organ or tissueprocess
entit�
est un
patient
de
processus
physique
est le
resultat
de
processus
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8345-8352
Interval temporel
rencontre
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
interval temporel
position temporel
est une
partie
de
interval temporel
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8234-8240
Interval temporel
recouvre
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
interval temporel
position temporel
est une
partie
de
interval temporel
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8290-8296
Interval temporel
recouvre
interval temporel
position temporel
position temporel
est une
instance
de
position temporel
position temporel
est une
partie
de
interval temporel
position temporel
est une
partie
de
interval temporel
(=>
(
subProcess
?SUBPROC ?PROC)
(
temporalPart
(
WhenFn
?SUBPROC)
(
WhenFn
?PROC)))
Merge.kif 10107-10109
Processus
est un
sous
-processus de
processus
temps
d'existence de
processus
est une
partie
de
temps
d'existence de
processus
(=>
(
time
?THING ?POS)
(
temporalPart
?POS
(
WhenFn
?THING)))
Merge.kif 7974-7977
Physique
existe
pendant
position temporel
position temporel
est une
partie
de
temps
d'existence de
physique
(=>
(
typicalTemporalPart
?PART ?WHOLE)
(
exists
(?X ?Y)
(
and
(
instance
?X ?WHOLE)
(
instance
?Y ?PART)
(
temporalPart
?Y ?X))))
Cars.kif 1445-1451
typicalTemporalPart
processus
and
processus
position temporel
position temporel
position temporel
est une
instance
de
processus
position temporel
est une
instance
de
processus
position temporel
est une
partie
de
position temporel
(=>
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
exists
(?X ?Y)
(
and
(
instance
?X ?WHOLE)
(
instance
?Y ?PART)
(
temporalPart
?Y ?X))))
Cars.kif 1485-1491
typicallyContainsTemporalPart
processus
and
processus
position temporel
position temporel
position temporel
est une
instance
de
processus
position temporel
est une
instance
de
processus
position temporel
est une
partie
de
position 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