experiencer
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
exists
(?T ?E)
(
and
(
instance
?T
TearSubstance
)
(
origin
?C ?E)
(
objectTransferred
?C ?T)
(
instance
?E
Eye
)
(
part
?E ?H))))
emotion.kif 1129-1139
If
a transfer
is an
instance
of
crying
and
an agent
experience
s
the transfer
,
then there exist
an object
and
another object
such that
the object
is an
instance
of
tear substance
and
the transfer
originate
s at
the other object
and the object transferred in
the transfer
is
the object
and
the other object
is an
instance
of
eye
and
the other object
is a
part
of
the agent
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
Sadness
)))
emotion.kif 1141-1147
If
a process
is an
instance
of
crying
and
an agent
experience
s
the process
,
then
sadness
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6122-6140
If
a process
is an
instance
of
sneezing
and
an agent
experience
s
the process
,
then
the process
has the purpose there exist
an entity
,
another entity
,, ,
the other entity
OSE and
a fourth entity
such that
the other entity
is an
instance
of
nasal cavity
and
the other entity
OSE is an
instance
of
nose
and
the other entity
OSE is
equal
to the
host
of the hole
the other entity
and
the fourth entity
is an
instance
of
object
and
the entity
is an
instance
of
removing
and
the other entity
OSE is a
part
of
the agent
and the object transferred in
the entity
is
the fourth entity
and
the fourth entity
is
located
at
the other entity
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10222-10237
If
a process
is an
instance
of
death
and
an agent
is an
instance
of
organism
and
the agent
experience
s
the process
,
then there exist
an entity
and
another entity
such that
the entity
is a
result
of
the process
and
the entity
is an
instance
of
organic object
and
dead
is an
attribute
of
the entity
holds
during
after
the
time
of existence of
the process
and
if
the other entity
is a
part
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
,
then
the other entity
is a
part
of
the agent
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
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 agent
experience
s
the process
,
then
the entity
is a
result
of
the process
(=>
(
and
(
instance
?DREAM
Dreaming
)
(
experiencer
?DREAM ?AGENT))
(
holdsDuring
(
WhenFn
?DREAM)
(
attribute
?AGENT
Asleep
)))
Mid-level-ontology.kif 18239-18243
If
a process
is an
instance
of
dreaming
and
an agent
experience
s
the process
,
then
asleep
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?E
(
EdemaFn
?P))
(
experiencer
?E ?A))
(
exists
(?PI)
(
and
(
instance
?PI
BodyPart
)
(
part
?PI ?A)
(
located
?E ?PI))))
Mid-level-ontology.kif 9986-9994
If
a process
is an
instance
of
edema
in
a kind of body part
and
an agent
experience
s
the process
,
then there exists
a kind of body part
I such that
the kind of body part
I is an
instance
of
body part
and
the kind of body part
I is a
part
of
the agent
and
the process
is
located
at
the kind of body part
I
(=>
(
and
(
instance
?E
Eardrum
)
(
part
?E ?H)
(
experiencer
?HEAR ?H)
(
attribute
?H
Healthy
)
(
instance
?HEAR
Hearing
))
(
instrument
?HEAR ?E))
Anatomy.kif 1636-1643
If
an object
is an
instance
of
myringa
and
the object
is a
part
of
an agent
and
the agent
experience
s
the agent
EAR and
healthy
is an
attribute
of
the agent
and
the agent
EAR is an
instance
of
hearing
,
then
the object
is an
instrument
for
the agent
EAR
(=>
(
and
(
instance
?E
Edema
)
(
experiencer
?E ?A))
(
exists
(?T ?P ?L)
(
and
(
instance
?T
Transfer
)
(
instance
?L
Liquid
)
(
instance
?P
BodyPart
)
(
part
?P ?A)
(
destination
?T ?P)
(
moves
?T ?L)
(
subProcess
?T ?E))))
Mid-level-ontology.kif 9964-9976
If
a process
is an
instance
of
swelling
and
an agent
experience
s
the process
,
then there exist
a motion
,
an object
and
another object
such that
the motion
is an
instance
of
transfer
and
the other object
is an
instance
of
liquid
and
the object
is an
instance
of
body part
and
the object
is a
part
of
the agent
and
the motion
end
s up at
the object
and
the other object
moves during
the motion
and
the motion
is a
subprocess
of
the process
(=>
(
and
(
instance
?ELT
ExperiencingALumpInTheThroat
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Throat
)
(
part
?T ?A))))
emotion.kif 1710-1721
If
a process
is an
instance
of
experiencing a lump in the throat
and
an agent
experience
s
the process
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
perception
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
throat
and
the object
is a
part
of
the agent
(=>
(
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
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
If
a process
is an
instance
of
experiencing heat in cheeks or chest
and
an agent
experience
s
the process
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
perception
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
torso
or
the object
is an
instance
of
face
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 ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?EV))
(
attribute
?P
Evacuee
)))
MilitaryPersons.kif 133-140
If
a process
is an
instance
of
evacuating
and
an agent
is an
agent
of
the process
and
the agent
is an
instance
of
military organization
and
another agent
experience
s
the process
,
then
evacuee
is an
attribute
of
the other agent
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?H))
(
instance
?H
Human
))
MilitaryProcesses.kif 2534-2538
If
a process
is an
instance
of
evacuating
and
an agent
experience
s
the process
,
then
the agent
is an
instance
of
human
(=>
(
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
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
If
a process
is an
instance
of
process
and
a human
is an
instance
of
agent
and
an experimenting
is an
instance
of
experimenting
and
the human
is a
treated
used
in
the experimenting
and
the process
is a
process
in
the experimenting
and
the human
experience
s
another process
and
the human
experience
s
the process
and
the experimenting
causes
the other process
,
then there exists
the experimenting
ERIMENTER such that
the experimenting
ERIMENTER is an
instance
of
agent
and
the experimenting
ERIMENTER is the
experimenter
in
the experimenting
and
the experimenting
ERIMENTER
believe
s the statement
the process
cause
s
the other process
has the
modal
force
of
likely
(=>
(
and
(
instance
?F
Forgetting
)
(
experiencer
?F ?A))
(
exists
(?P)
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?F))
(
not
(
knows
?A ?P)))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?F))
(
knows
?A ?P)))))
ComputingBrands.kif 4451-4461
If
a process
is an
instance
of
forgetting
and
an agent
experience
s
the process
,
then there exists
an entity
such that
the agent
doesn't
know
the entity
holds
during
immediately
after
the
time
of existence of
the process
and
the agent
know
s
the entity
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?FALL
FallingAsleep
)
(
experiencer
?FALL ?AGENT))
(
exists
(?START ?FINISH)
(
and
(
starts
?START
(
WhenFn
?FALL))
(
finishes
?FINISH
(
WhenFn
?FALL))
(
holdsDuring
?START
(
attribute
?AGENT
Awake
))
(
holdsDuring
?FINISH
(
attribute
?AGENT
Asleep
)))))
Mid-level-ontology.kif 16380-16389
If
a process
is an
instance
of
falling asleep
and
an agent
experience
s
the process
,
then there exist
a time interval
and
another time interval
such that
the time interval
start
s the
time
of existence of
the process
and
the other time interval
finish
es the
time
of existence of
the process
and
awake
is an
attribute
of
the agent
holds
during
the time interval
and
asleep
is an
attribute
of
the agent
holds
during
the other time interval
(=>
(
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
?FRIGHTEN
Frightening
)
(
experiencer
?FRIGHTEN ?AGENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?FRIGHTEN))
(
not
(
attribute
?AGENT
Anxiety
)))
(
holdsDuring
(
EndFn
(
WhenFn
?FRIGHTEN))
(
attribute
?AGENT
Anxiety
))))
Mid-level-ontology.kif 18249-18255
If
a process
is an
instance
of
frightening
and
an agent
experience
s
the process
,
then
anxiety
is not an
attribute
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
anxiety
is an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?G
GainingConsciousness
)
(
experiencer
?G ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?G))
(
attribute
?A
Unconscious
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
attribute
?A
Awake
))))
Mid-level-ontology.kif 16465-16477
If
a process
is an
instance
of
gaining consciousness
and
an agent
experience
s
the process
,
then
unconscious
is an
attribute
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
awake
is an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?GERD
GERefluxDisease
)
(
experiencer
?GERD ?H))
(
exists
(?T ?S ?E)
(
and
(
instance
?T
Transfer
)
(
origin
?T ?S)
(
instance
?S
Stomach
)
(
instance
?E
Esophagus
)
(
destination
?T ?E)
(
part
?S ?H)
(
part
?E ?H)
(
subProcess
?T ?GERD))))
Medicine.kif 1916-1929
If
a process
is an
instance
of
GERD
and
an agent
experience
s
the process
,
then there exist
another process
,
an object
and
another object
such that
the other process
is an
instance
of
transfer
and
the other process
originate
s at
the object
and
the object
is an
instance
of
stomach
and
the other object
is an
instance
of
esophagus
and
the other process
end
s up at
the other object
and
the object
is a
part
of
the agent
and
the other object
is a
part
of
the agent
and
the other process
is a
subprocess
of
the process
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
attribute
?P
PsychologicalDysfunction
))
Mid-level-ontology.kif 6423-6427
If
a process
is an
instance
of
hallucination
and
an agent
experience
s
the process
,
then
psychological dysfunction
is an
attribute
of
the agent
(=>
(
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
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