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 19347-19353
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 8672-8683
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 9017-9023
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 14943-14949
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 22333-22345
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 17322-17344
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 7969-7974
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 1341-1351
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 14977-14983
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 7962-7967
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 9407-9417
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 8367-8374
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 8256-8262
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 8312-8318
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 10129-10131
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 7996-7999
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