experiencer
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
Processus
est une
instance
de
mort
entit�
est une
instance
de
OrganismRemains
AutonomousAgent
est une
instance
de
organisme
entit�
est une
partie
de
entit�
pendant
interval temporel
entit�
est une
partie
de
AutonomousAgent
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
est le
resultat
de
processus
AutonomousAgent
exp
�rimente
processus
(=>
(
and
(
instance
?DEGREE
AcademicDegree
)
(
possesses
?AGENT ?DEGREE))
(
exists
(?PROGRAM ?STUDY)
(
and
(
instance
?PROGRAM
EducationalProgram
)
(
realization
?STUDY ?PROGRAM)
(
experiencer
?STUDY ?AGENT))))
Mid-level-ontology.kif 16514-16522
Objet
est une
instance
de
AcademicDegree
AutonomousAgent
poss
�de
objet
proposition
processus
proposition
est une
instance
de
EducationalProgram
processus
exprime
le contenu de
proposition
AutonomousAgent
exp
�rimente
processus
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
Attribut
est une
instance
de
LifeThreateningDisease
attribut
est un
attribut
de
objet
objet
est
capable
de faire
mort
dans le r�le
experiencer
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
Processus
est une
instance
de
DisgustedVoiceUtterance
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
dégoût
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?E
Epidemic
)
(
involvedInEvent
?E ?H))
(
or
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
attribute
?H ?D))
(
exists
(?P)
(
and
(
instance
?P
PathologicProcess
)
(
experiencer
?P ?H)
(
subProcess
?P ?E)))))
Medicine.kif 3517-3529
Processus
est une
instance
de
Epidemic
involvedInEvent
processus
and
AutonomousAgent
attribut
est une
instance
de
maladie ou syndrome
attribut
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
processus pathologique
AutonomousAgent
exp
�rimente
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
Processus
est une
instance
de
ExperiencingDiscomfortInTheStomach
AutonomousAgent
exp
�rimente
processus
processus
processus
AIN and
objet
processus
est une
instance
de
perception
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
AIN
processus
AIN est une
instance
de
Pain
AutonomousAgent
exp
�rimente
processus
AIN
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
experiencer
?EV ?P))
(
exists
(?C ?CA)
(
and
(
instance
?C
Classifying
)
(
subProcess
?C ?EV)
(
experiencer
?C ?P)
(
or
(
subOrganization
?CA ?A)
(
member
?CA ?A)
(
equal
?CA ?A))
(
agent
?C ?CA))))
MilitaryProcesses.kif 2609-2623
Processus
est une
instance
de
Evacuation
processus
est un
agent
de
organisation
AutonomousAgent
exp
�rimente
processus
processus
processus
A
processus
est une
instance
de
classifier
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
processus
est un
agent
de
processus
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2627-2643
Processus
est une
instance
de
Evacuation
processus
est un
agent
de
organisation
processus
a pour
origine
objet
processus
processus
A
processus
est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
a pour
origine
objet
processus
A
exp
�rimente
processus
processus
est un
agent
de
processus
A
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?P)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
TherapeuticProcess
)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA)
(
experiencer
?M ?P))))
MilitaryProcesses.kif 2591-2605
Processus
est une
instance
de
Evacuation
AutonomousAgent
exp
�rimente
processus
processus
est un
agent
de
organisation
processus
processus
A
processus
est une
instance
de
processus therapeutique
processus
est un
sous
-processus de
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
processus
est un
agent
de
processus
A
AutonomousAgent
exp
�rimente
processus
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?SUBJECT
Human
)
(
experimentalSubject
?EXPERIMENT ?SUBJECT))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experiencer
?PROCESS ?SUBJECT)
(
or
(
experimentalControlProcess
?EXPERIMENT ?PROCESS)
(
experimentalVariableProcess
?EXPERIMENT ?PROCESS)))))
UXExperimentalTerms.kif 3923-3934
Experimenting
est une
instance
de
Experimenting
humain
est une
instance
de
humain
experimentalSubject
Experimenting
and
humain
processus
processus
est une
instance
de
processus
humain
exp
�rimente
processus
experimentalControlProcess
Experimenting
and
processus
experimentalVariableProcess
Experimenting
and
processus
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7231-7240
Processus
est une
instance
de
Scholarship
processus
aboutit
�
entit�
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
EducationalProgram
entit�
exprime
le contenu de
entit�
entit�
exp
�rimente
entit�
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
Processus
est une
instance
de
ForeignInternalDefense
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
apprendre
entit�
exp
�rimente
entit�
entit�
est un
agent
de
AutonomousAgent
militaryOfArea
entit�
and
AutonomousAgent
entit�
est une
instance
de
MilitaryForce
entit�
est
situ
� �
AutonomousAgent
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
militaryOfArea
?MIL ?NATION))
(
exists
(?HN ?MAINTAIN)
(
and
(
experiencer
?FID ?HN)
(
instance
?HN
HostNation
)
(
not
(
equal
?HN ?NATION))
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?HN))))
MilitaryProcesses.kif 1943-1955
Processus
est une
instance
de
ForeignInternalDefense
processus
est un
agent
de
MilitaryOrganization
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
HostNation
AutonomousAgent
est
secteur g�opolitique
processus
est une
instance
de
maintenir
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2065-2073
Processus
est une
instance
de
FearfulVoiceUtterance
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
peur
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?G
Gaslighting
)
(
agent
?G ?A)
(
suffers
?G ?H))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
causesProposition
(
suffers
?G ?H)
(
not
(
knows
?H
(
result
?P ?R)))))))
Medicine.kif 3665-3678
Processus
est une
instance
de
Gaslighting
processus
est un
agent
de
AutonomousAgent
suffers
processus
and
AutonomousAgent
processus
processus
est une
instance
de
perception
AutonomousAgent
exp
�rimente
processus
causesProposition
suffers
processus
and
AutonomousAgent
and
AutonomousAgent
ne
conna
�t %n{pas}
entit�
est le
resultat
de
processus
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER ?PROP)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 6429-6439
Processus
est une
instance
de
Hallucination
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER est une
instance
de
perception
AutonomousAgent
exp
�rimente
AutonomousAgent
ER
processus
cause
AutonomousAgent
ER
AutonomousAgent
ER
contient
information
AutonomousAgent
ROP
truth
AutonomousAgent
ROP and
False
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
AutonomousAgent
est une
instance
de
Man
Mausaharati
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
Drumming
processus
est un
agent
de
AutonomousAgent
processus
AY est une
instance
de
jour
interval temporel
est une
instance
de
Sunrise
interval temporel
prend place
pendant
processus
AY
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
processus
a pour
but
entit�
interval temporel
UHUR and
entit�
entit�
est une
instance
de
WakingUp
entit�
exp
�rimente
entit�
interval temporel
UHUR est une
instance
de
Suhur
interval temporel
UHUR est un
agent
de
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
interval temporel
UHUR
temps
d'existence de
entit�
prend place
pendant
processus
AY
temps
d'existence de
interval temporel
UHUR prend place
pendant
processus
AY
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
Processus
est une
instance
de
Helping
processus
est un
agent
de
AutonomousAgent
physique
est le
resultat
de
processus
agent cognitif
AutonomousAgent
est
agent cognitif
agent cognitif
est un
patient
de
processus
agent cognitif
exp
�rimente
processus
agent cognitif
veut
physique
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
est une
instance
de
HearingProtection
animal
est une
instance
de
humain
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
WearableItem
est un
instrument
pour
entit�
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
Processus
est une
instance
de
HappyVoiceUtterance
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
bonheur
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?I
HealthInsuranceCompany
)
(
customer
?I ?C))
(
hasPurposeForAgent
?I
(
exists
(?D ?P)
(
and
(
or
(
instance
?D
DiagnosticProcess
)
(
instance
?D
TherapeuticProcess
))
(
experiencer
?D ?C)
(
instance
?P
Payment
)
(
agent
?P ?I)
(
refers
?P ?D))) ?C))
Mid-level-ontology.kif 7159-7172
Agent cognitif
est une
instance
de
HealthInsuranceCompany
customer
agent cognitif
and
AutonomousAgent
agent cognitif
a le
but
entit�
entit�
entit�
est une
instance
de
processus de diagnostique
entit�
est une
instance
de
processus therapeutique
AutonomousAgent
exp
�rimente
entit�
entit�
est une
instance
de
Payment
entit�
est un
agent
de
agent cognitif
entit�
inclut une
r
�f�rence �
entit�
pour
AutonomousAgent
(=>
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H))
(
exists
(?T ?R ?O)
(
and
(
instance
?T
Translocation
)
(
moves
?T ?O)
(
instance
?O
Organism
)
(
instance
?R
Replication
)
(
experiencer
?R ?O)
(
subProcess
?T ?I)
(
subProcess
?R ?I))))
Mid-level-ontology.kif 5847-5859
Processus
est une
instance
de
Infecting
AutonomousAgent
exp
�rimente
processus
d�palcement
processus
and
AutonomousAgent
d�palcement
est une
instance
de
Translocation
moves
d�palcement
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisme
processus
est une
instance
de
reproduction
AutonomousAgent
exp
�rimente
processus
d�palcement
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?I
InfectiousDisease
)
(
attribute
?A ?I))
(
exists
(?P ?O)
(
and
(
instance
?P
PathologicProcess
)
(
agent
?P ?O)
(
instance
?O
Microorganism
)
(
experiencer
?P ?A))))
Mid-level-ontology.kif 5830-5839
Attribut
est une
instance
de
InfectiousDisease
attribut
est un
attribut
de
AutonomousAgent
processus
AutonomousAgent
processus
est une
instance
de
processus pathologique
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
microorganisme
AutonomousAgent
exp
�rimente
processus
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
pathologicSideEffect
objet
C and
objet
IS
l'argument
entit�
entit�
est une
instance
de
objet
IS
entit�
exp
�rimente
AutonomousAgent
a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
Transf�re
est une
instance
de
ing�rer
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Hallucinogen
transf�re
aboutit
�
entit�
l'argument
objet
AL
objet
AL est une
instance
de
Hallucination
entit�
exp
�rimente
objet
AL a la
force
modale
de
Likely
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