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
If
a process
is an
instance
of
death
and
an entity
is an
instance
of
organism remains
and
an agent
is an
instance
of
organism
and
another entity
is a
part
of
the entity
holds
during
a time interval
and
the other entity
is a
part
of
the agent
holds
during
another time interval
and
the other time interval
happens
earlier
than
the time interval
and
the entity
is a
result
of
the process
,
then
the agent
experience
s
the process
(=>
(
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
If
an object
is an
instance
of
academic degree
and
an agent
possess
es
the object
,
then there exist
a proposition
and
a process
such that
the proposition
is an
instance
of
educational program
and
the process
express
es the content of
the proposition
and
the agent
experience
s
the process
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
If
an attribute
is an
instance
of
life threatening disease
and
the attribute
is an
attribute
of
an object
,
then
the object
is
capable
of doing
death
as a
experiencer
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
If
a process
is an
instance
of
disgusted voice utterance
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
disgust
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
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
If
a process
is an
instance
of
epidemic
and
an agent
is an
involved
in event of
the process
,
then
an attribute
is an
instance
of
disease or syndrome
and
the attribute
is an
attribute
of
the agent
or there exists
another process
such that
the other process
is an
instance
of
pathologic process
and
the agent
experience
s
the other process
and
the other process
is a
subprocess
of
the process
(=>
(
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
If
a process
is an
instance
of
experiencing discomfort in the stomach
and
an agent
experience
s
the process
,
then there exist
another process
,
the other process
AIN and
an object
such that
the other process
is an
instance
of
perception
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the other process
AIN and
the other process
AIN is an
instance
of
pain
and
the agent
experience
s
the other process
AIN and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the object
is an
instance
of
stomach
and
the object
is a
part
of
the agent
(=>
(
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
If
a process
is an
instance
of
evacuating
and
an organization
is an
agent
of
the process
and
an agent
experience
s
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
classifying
and
the other process
is a
subprocess
of
the process
and
the agent
experience
s
the other process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
(=>
(
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
If
a process
is an
instance
of
evacuating
and
an organization
is an
agent
of
the process
and
the process
originate
s at
an object
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
translocation
and
the other process
is a
subprocess
of
the process
and
the other process
originate
s at
the object
and
the other process
A
experience
s
the other process
or
the other process
A is an
agent
of
the other process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
(=>
(
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
If
a process
is an
instance
of
evacuating
and
an agent
experience
s
the process
and
an organization
is an
agent
of
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
therapeutic process
and
the other process
is a
subprocess
of
the process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
and
the agent
experience
s
the other process
(=>
(
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
If
an experimenting
is an
instance
of
experimenting
and
a human
is an
instance
of
human
and
the human
is a
subject
in
the experimenting
,
then there exists
a process
such that
the process
is an
instance
of
process
and
the human
experience
s
the process
and the
control
in experiment
the experimenting
is
the process
or
the process
is a
process
in
the experimenting
(=>
(
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
If
a process
is an
instance
of
scholarship
and
the process
end
s up at
an entity
,
then
the process
has the purpose there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
educational program
and
the third entity
express
es the content of
the other entity
and
the entity
experience
s
the third entity
(=>
(
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
If
a process
is an
instance
of
foreign internal defense
and
an agent
is an
agent
of
the process
and
another agent
experience
s
the process
,
then
the process
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
learning
and
the entity
experience
s
the other entity
and
the agent
is an
agent
of
the other entity
and
the other agent
is a
military
of area of
the entity
or
the entity
is an
instance
of
military force
and
the entity
is
located
at
the other agent
(=>
(
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
If
a process
is an
instance
of
foreign internal defense
and
a military organization
is an
agent
of
the process
and
a geopolitical area
is a
military
of area of
the military organization
,
then there exist
an agent
and
another process
such that
the agent
experience
s
the process
and
the agent
is an
instance
of
host nation
and
the agent
is not
equal
to
the geopolitical area
and
the other process
is an
instance
of
maintaining
and
the agent
is an
agent
of
the other process
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2065-2073
If
a process
is an
instance
of
fearful voice utterance
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
angst
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
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
If
a process
is an
instance
of
gaslighting
and
an agent
is an
agent
of
the process
and
another agent
suffers
from
the process
,
then there exists
another process
such that
the other process
is an
instance
of
perception
and
the other agent
experience
s
the other process
and
the other agent
doesn't
know
an entity
is a
result
of
the other process
is a
causes
proposition of
the other agent
suffers
from
the process
(=>
(
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
If
a process
is an
instance
of
hallucination
and
an agent
experience
s
the process
,
then there exist
the agent
ER and
the agent
ROP such that
the agent
ER is an
instance
of
perception
and
the agent
experience
s
the agent
ER and
the process
cause
s
the agent
ER and
the agent
ER
contain
s information
the agent
ROP and
the agent
ROP
is
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
If
an agent
is an
instance
of
man
and
mausaharati
is an
attribute
of
the agent
and
a process
is an
instance
of
drumming
and
the agent
is an
agent
of
the process
and
the process
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the process
AY and the
time
of existence of
the process
happens
earlier
than
the other time interval
,
then
the process
has the purpose there exist
an entity
,
the other time interval
UHUR and
a third entity
such that
the third entity
is an
instance
of
waking up
and
the entity
experience
s
the third entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the entity
is an
agent
of
the other time interval
UHUR and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the other time interval
UHUR and the
time
of existence of
the third entity
takes place
during
the process
AY and the
time
of existence of
the other time interval
UHUR takes place
during
the process
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
If
a process
is an
instance
of
helping
and
an agent
is an
agent
of
the process
and
a physical
is a
result
of
the process
,
then there exists
a cognitive agent
such that
the agent
is not
equal
to
the cognitive agent
and
the cognitive agent
is a
patient
of
the process
or
the cognitive agent
experience
s
the process
and
the cognitive agent
want
s
the physical
(=>
(
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
If
a wearable item
is an
instance
of
hearing protection
and
an animal
is an
instance
of
human
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
and
the wearable item
is an
instrument
for
the entity
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
If
a process
is an
instance
of
happy voice utterance
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
happiness
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
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
If
a cognitive agent
is an
instance
of
health insurance company
and
an agent
is a
customer
of
the cognitive agent
,
then
the cognitive agent
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
diagnostic process
or
the entity
is an
instance
of
therapeutic process
and
the agent
experience
s
the entity
and
the other entity
is an
instance
of
payment
and
the cognitive agent
is an
agent
of
the other entity
and
the other entity
includes a
reference
to
the entity
for
the agent
(=>
(
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
If
a process
is an
instance
of
infecting
and
an agent
experience
s
the process
,
then there exist
a motion
,
another process
and
another agent
such that
the motion
is an
instance
of
translocation
and
the other agent
moves during
the motion
and
the other agent
is an
instance
of
organism
and
the other process
is an
instance
of
replication
and
the other agent
experience
s
the other process
and
the motion
is a
subprocess
of
the process
and
the other process
is a
subprocess
of
the process
(=>
(
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
If
an attribute
is an
instance
of
infectious disease
and
the attribute
is an
attribute
of
an agent
,
then there exist
a process
and
another agent
such that
the process
is an
instance
of
pathologic process
and
the other agent
is an
agent
of
the process
and
the other agent
is an
instance
of
microorganism
and
the agent
experience
s
the process
(=>
(
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
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
the object
C and
pathologic side effect
the object
C and
the object
IS,
then the statement there exists
an entity
such that
the entity
is an
instance
of
the object
IS and
the entity
experience
s
the agent
has the
modal
force
of
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
If
a transfer
is an
instance
of
ingesting
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
hallucinogen
and
the transfer
end
s up at
an entity
,
then the statement there exists
the object
AL such that
the object
AL is an
instance
of
hallucination
and
the entity
experience
s
the object
AL has the
modal
force
of
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