experiencer
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16447-16459
Processus
est une
instance
de
Insomnia
agent cognitif
exp
�rimente
processus
processus
dur�e temporel
and
dur�e temporel
2
processus
est une
instance
de
Sleeping
agent cognitif
exp
�rimente
processus
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
agent cognitif
desire
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
2
dur�e temporel
2 est
plus
grand
que
dur�e temporel
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
Processus
est une
instance
de
Inheriting
processus
est un
agent
de
agent cognitif
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
AutonomousAgent
poss
�de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
agent cognitif
poss
�de
entit�
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12313-12321
Processus
est une
instance
de
tuer
AutonomousAgent
est un
patient
de
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
Processus
est une
instance
de
Lupus
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
SkinRash
AutonomousAgent
exp
�rimente
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
Interval temporel
est une
instance
de
MusclesRelaxing
AutonomousAgent
exp
�rimente
interval temporel
interval temporel
interval temporel
recouvre
interval temporel
interval temporel
est une
instance
de
MusclesBecomingTense
AutonomousAgent
exp
�rimente
interval temporel
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
Interval temporel
est une
instance
de
MusclesBecomingTense
AutonomousAgent
exp
�rimente
interval temporel
interval temporel
interval temporel
recouvre
interval temporel
interval temporel
est une
instance
de
MusclesRelaxing
AutonomousAgent
exp
�rimente
interval temporel
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
Processus
est une
instance
de
Nausea
agent cognitif
exp
�rimente
processus
agent cognitif
croit
entit�
entit�
est une
instance
de
Vomiting
agent cognitif
exp
�rimente
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
Processus
est une
instance
de
CeliacDisease
AutonomousAgent
exp
�rimente
processus
objet
est une
instance
de
SmallIntestine
objet
est une
partie
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
Diarrhoea
AutonomousAgent
exp
�rimente
entit�
processus
cause
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?PER)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?H)
(
patient
?PER ?HEART))))
Medicine.kif 2060-2070
Processus
est une
instance
de
HeartPalpitations
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
EART est une
instance
de
Heart
AutonomousAgent
EART est une
partie
de
AutonomousAgent
processus
ER
processus
ER est une
instance
de
perception
AutonomousAgent
exp
�rimente
processus
ER
AutonomousAgent
EART est un
patient
de
processus
ER
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8600-8610
Objet
est une
instance
de
Poison
d�palcement
est une
instance
de
ing�rer
moves
d�palcement
and
objet
AutonomousAgent
exp
�rimente
d�palcement
processus
processus
est une
instance
de
endommager
AutonomousAgent
exp
�rimente
processus
d�palcement
cause
processus
(=>
(
and
(
instance
?PP
PublicProgram
)
(
experiencer
?PP ?PUBLIC))
(
hasPurpose
?PP
(
exists
(?HELPING)
(
and
(
instance
?HELPING
Helping
)
(
experiencer
?HELPING ?PUBLIC)
(
instance
?PUBLIC
Public
)))))
MilitaryProcesses.kif 1383-1392
Processus
est une
instance
de
PublicProgram
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
est une
instance
de
Helping
AutonomousAgent
exp
�rimente
entit�
AutonomousAgent
est une
instance
de
Public
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
Processus
est une
instance
de
Sepsis
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Infecting
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5749-5759
Processus
est une
instance
de
SkinRash
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
Itching
AutonomousAgent
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
WearableItem
est une
instance
de
SafetyHarness
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
animal
est un
patient
de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
(=>
(
and
(
instance
?SHN
SupportHNAssistance
)
(
experiencer
?SHN ?HN)
(
instance
?HN
HostNation
))
(
exists
(?OP)
(
and
(
instance
?OP
MilitaryOperation
)
(
instance
?OP
Helping
)
(
experiencer
?OP ?HN)
(
patient
?SHN ?OP))))
MilitaryProcesses.kif 1293-1303
Processus
est une
instance
de
SupportHNAssistance
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
HostNation
processus
processus
est une
instance
de
MilitaryOperation
processus
est une
instance
de
Helping
AutonomousAgent
exp
�rimente
processus
processus
est un
patient
de
processus
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
experiencer
?A2)
(
not
(
capability
?S
experiencer
?A)))))
Merge.kif 13494-13504
Processus
est une
instance
de
SenseImpairmentFn
perception
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
2
AutonomousAgent
2 est
AutonomousAgent
AutonomousAgent
2 est
capable
de faire
perception
dans le r�le
experiencer
AutonomousAgent
est
capable
de faire
perception
dans le r�le
experiencer
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13514-13519
Processus
est une
instance
de
SenseImpairmentFn
perception
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est
capable
de faire
perception
dans le r�le
experiencer
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1967-1975
Processus
est une
instance
de
SadVoiceUtterance
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
tristesse
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1928-1936
Processus
est une
instance
de
SurprisedVoiceUtterance
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
Surprise
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
est une
instance
de
Ticket
AutonomousAgent
poss
�de
objet
issuedBy
AutonomousAgent
and
agent cognitif
AmusementGamblingAndRecreationIndustries
est un
attribut
de
agent cognitif
agent cognitif
est
situ
� �
objet
confersNorm
agent cognitif
,
entit�
entit�
est une
instance
de
r�cr�ation ou exercice
objet
exp
�rimente
entit�
eventLocated
entit�
and
objet
and
Permission
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
Interval temporel
est une
instance
de
TimePeriod
la
dur
�� de
interval temporel
est
nombre r�el
MinuteDuration
(s)
nombre r�el
est
plus
grand
que 5.0
entit�
est une
instance
de
humain
processus
processus
est une
instance
de
respirer
temps
d'existence de
processus
prend place
pendant
interval temporel
entit�
est un
patient
de
processus
l'argument
entit�
entit�
est une
instance
de
mort
entit�
exp
�rimente
entit�
interval temporel
rencontre
temps
d'existence de
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
Processus
est une
instance
de
Translocation
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
a pour
origine
objet
processus
aboutit
�
objet
processus
aboutit
�
entit�
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
aboutit
�
entit�
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
commence
temps
d'existence de
processus
temps
d'existence de
processus
finit
temps
d'existence de
processus
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
issuedBy
certificat
and
agent cognitif
certificat
est une
instance
de
Ticket
AutonomousAgent
poss
�de
certificat
confersNorm
agent cognitif
,
entit�
entit�
entit�
est une
instance
de
processus
entit�
est un
agent
de
agent cognitif
AutonomousAgent
exp
�rimente
entit�
pendant
entit�
and
Permission
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
reservedPackage
Reservation
and
proposition
reservingEntity
Reservation
and
Reservation
l'argument
entit�
entit�
exprime
le contenu de
proposition
Reservation
exp
�rimente
entit�
a la
force
modale
de
Likely
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
vaccine
Vaccine
and
virus
transf�re
est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
transf�re
Vaccine
I est une
instance
de
Vaccine
objectTransferred
transf�re
and
Vaccine
I
Vaccine
I a pour
but
entit�
virus
I
entit�
est une
instance
de
Infecting
AutonomousAgent
exp
�rimente
entit�
virus
I est une
instance
de
virus
objectTransferred
entit�
and
virus
I
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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