experiencer
(=>
(
holdsDuring
?T
(
attribute
?A
Happiness
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
HappyFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1226-1235
If
happiness
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
happy facial expression
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
If
interpersonal disgust
is an
attribute
of
an entity
holds
during
a time position
,
then there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
perception
and
the third entity
is a
patient
of
the other entity
and
the entity
experience
s
the other entity
and
the third entity
is an
instance
of
human
and the
time
of existence of
the other entity
takes place
during
the time position
cause
s
interpersonal disgust
is an
attribute
of
the entity
holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
not
(
equal
?H ?A))
(
during
(
WhenFn
?P) ?T))))
emotion.kif 852-863
If
interpersonal disgust
is an
attribute
of
an agent
holds
during
a time interval
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
perception
and
the entity
is a
patient
of
the process
and
the agent
experience
s
the process
and
the entity
is an
instance
of
human
and
the entity
is not
equal
to
the agent
and the
time
of existence of
the process
takes place
during
the time interval
(=>
(
holdsDuring
?T
(
attribute
?A
Sadness
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SadFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1325-1334
If
sadness
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
sad facial expression
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?A
SensoryPleasure
))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
during
?T
(
WhenFn
?P))
(
causesProposition
(
experiencer
?P ?A)
(
holdsDuring
?T
(
attribute
?A
SensoryPleasure
))))))
emotion.kif 793-803
If
sensory pleasure
is an
attribute
of
an entity
holds
during
a time interval
,
then there exists
a physical
such that
the physical
is an
instance
of
perception
and
the time interval
takes place
during
the
time
of existence of
the physical
and
sensory pleasure
is an
attribute
of
the entity
holds
during
the time interval
is a
causes
proposition of
the entity
experience
s
the physical
(=>
(
holdsDuring
?T
(
attribute
?A
Surprise
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SurprisedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1281-1290
If
surprise
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
surprised facial expression
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Eardrum
)))
(
modalAttribute
(
not
(
exists
(?HEAR)
(
and
(
instance
?HEAR
Hearing
)
(
during
(
WhenFn
?HEAR) ?T)
(
experiencer
?HEAR ?H))))
Likely
))
Anatomy.kif 1680-1691
If
impaired body part fn
myringa
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there doesn't exist
the entity
EAR such that
the entity
EAR is an
instance
of
hearing
and the
time
of existence of
the entity
EAR takes place
during
the time position
and
the entity
experience
s
the entity
EAR has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?H
Asleep
))
(
exists
(?S)
(
and
(
equal
?T
(
WhenFn
?S))
(
instance
?S
Sleeping
)
(
experiencer
?S ?H))))
Merge.kif 18497-18504
If
asleep
is an
attribute
of
an agent
holds
during
a time interval
,
then there exists
a process
such that
the time interval
is
equal
to the
time
of existence of
the process
and
the process
is an
instance
of
sleeping
and
the agent
experience
s
the process
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 17798-17814
If
dizziness
is an
attribute
of
an entity
holds
during
a time position
,
then
the entity
believe
s
if there exists
the time position
2 such that
the time position
2 takes place
during
the time position
and
standing
is an
attribute
of
the entity
holds
during
the time position
2,
then there exists
a third entity
such that
the third entity
is an
instance
of
falling
and
the entity
experience
s
the third entity
and
the time position
2
meet
s the
time
of existence of
the third entity
holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?H
Fibromyalgia
))
(
exists
(?P)
(
and
(
instance
?P
Pain
)
(
experiencer
?P ?H)
(
during
?T
(
WhenFn
?P)))))
Medicine.kif 4540-4548
If
Fibromyalgia
is an
attribute
of
an agent
holds
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
pain
and
the agent
experience
s
the process
and
the time interval
takes place
during
the
time
of existence of
the process
(=>
(
holdsDuring
?T
(
attribute
?H
Hypersalivation
))
(
modalAttribute
(
exists
(?S)
(
and
(
experiencer
?S ?H)
(
during
(
WhenFn
?S) ?T)
(
or
(
instance
?S
Spitting
)
(
instance
?S
Drooling
)
(
instance
?S
Nausea
))))
Likely
))
Medicine.kif 5335-5349
If
hypersalivation
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
and
the other entity
is an
instance
of
spitting
or
the other entity
is an
instance
of
drooling
or
the other entity
is an
instance
of
nausea
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?H
Insomnia
))
(
exists
(?I)
(
and
(
instance
?I
(
ImpairmentFn
Sleeping
))
(
experiencer
?I ?H)
(
equal
?T
(
WhenFn
?I)))))
Medicine.kif 2102-2111
If
insomnia
is an
attribute
of
an agent
holds
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of impairment in
sleeping
and
the agent
experience
s
the process
and
the time interval
is
equal
to the
time
of existence of
the process
(=>
(
holdsDuring
?T
(
attribute
?H
Narcolepsy
))
(
exists
(?S)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
during
(
WhenFn
?S) ?T)
(
not
(
wants
?H ?S)))))
Medicine.kif 4790-4800
If
narcolepsy
is an
attribute
of
a cognitive agent
holds
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
sleeping
and
the cognitive agent
experience
s
the process
and the
time
of existence of
the process
takes place
during
the time interval
and
the cognitive agent
doesn't
want
the process
(=>
(
holdsDuring
?T
(
attribute
?X
SafetyPosition
))
(
holdsDuring
?T
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T2)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
agent
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T2
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T2
(
patient
?P ?H))))))))))))
Mid-level-ontology.kif 32643-32663
If
safety position
is an
attribute
of
an entity
holds
during
a time position
,
then
the entity
has the purpose there exist
another entity
,
a third entity
,, ,
a fourth entity
and
the time position
2 such that
the third entity
is an
instance
of
human
and
the other entity
is an
instance
of
process
and
the third entity
is a
patient
of
the other entity
and
the entity
is an
agent
of
the other entity
and
the other entity
prevent
s the occurrence of the
class
described by
the fourth entity
holds
during
the time position
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
If
tourniquet
is an
attribute
of
an object
holds
during
the object
IME,
then there exist
an agent
,
a process
and
a transfer
such that
the agent
is an
instance
of
human
and
the process
is an
instance
of
bleeding
and
the transfer
is an
instance
of
attaching
and
the agent
experience
s
the process
and
the transfer
end
s up at
the agent
and the object transferred in
the transfer
is
the object
and
the object
has the purpose there doesn't exist
the process
2 such that
the process
2 is an
instance
of
bleeding
and immediately
after
the
time
of existence of
the transfer
overlap
s the
time
of existence of
the process
2 and
the agent
experience
s
the process
2
(=>
(
instance
?A
Abducting
)
(
exists
(?BP ?ORGANISM ?TORSO ?MAF)
(
and
(
instance
?BP
BodyPart
)
(
instance
?ORGANISM
Organism
)
(
instance
?TORSO
Torso
)
(
not
(
equal
?BP ?TORSO))
(
subProcess
?MAF
MovingAwayFrom
)
(
patient
?MAF ?BP)
(
patient
?MAF ?TORSO)
(
part
?BP ?ORGANISM)
(
part
?TORSO ?ORGANISM)
(
experiencer
?A
Organism
)
(
moves
?A ?BP))))
Anatomy.kif 2049-2064
If
a motion
is an
instance
of
abducting
,
then there exist
an object
,
another object
,, ,
a third object
and
a process
such that
the object
is an
instance
of
body part
and
the other object
is an
instance
of
organism
and
the third object
is an
instance
of
torso
and
the object
is not
equal
to
the third object
and
the process
is a
subprocess
of
moving away from
and
the object
is a
patient
of
the process
and
the third object
is a
patient
of
the process
and
the object
is a
part
of
the other object
and
the third object
is a
part
of
the other object
and
organism
experience
s
the motion
and
the object
moves during
the motion
(=>
(
instance
?A
Adducting
)
(
exists
(?BP ?ORGANISM ?TORSO ?MT)
(
and
(
instance
?BP
BodyPart
)
(
instance
?ORGANISM
Organism
)
(
instance
?TORSO
Torso
)
(
not
(
equal
?BP ?TORSO))
(
instance
?MT
MovingTowards
)
(
subProcess
?MT ?A)
(
patient
?MT ?BP)
(
patient
?MT ?TORSO)
(
part
?BP ?ORGANISM)
(
part
?TORSO ?ORGANISM)
(
experiencer
?A
Organism
)
(
moves
?A ?BP))))
Anatomy.kif 2073-2089
If
a motion
is an
instance
of
adducting
,
then there exist
an object
,
another object
,, ,
a third object
and
a process
such that
the object
is an
instance
of
body part
and
the other object
is an
instance
of
organism
and
the third object
is an
instance
of
torso
and
the object
is not
equal
to
the third object
and
the process
is an
instance
of
moving towards
and
the process
is a
subprocess
of
the motion
and
the object
is a
patient
of
the process
and
the third object
is a
patient
of
the process
and
the object
is a
part
of
the other object
and
the third object
is a
part
of
the other object
and
organism
experience
s
the motion
and
the object
moves during
the motion
(=>
(
instance
?A
Ambulance
)
(
hasPurpose
?A
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
or
(
attribute
?P
DiseaseOrSyndrome
)
(
exists
(?I ?H)
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?H)
(
before
?I ?T))))
(
instance
?T
Transportation
)
(
instrument
?T ?A)
(
patient
?T ?H)))))
Transportation.kif 2046-2061
If
a physical
is an
instance
of
ambulance
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
disease or syndrome
is an
attribute
of
the entity
or there exist
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
injuring
and
the fourth entity
experience
s
the third entity
and
the third entity
happens
before
the other entity
and
the other entity
is an
instance
of
transportation
and
the physical
is an
instrument
for
the other entity
and
the fourth entity
is a
patient
of
the other entity
(=>
(
instance
?A
Animal
)
(
capability
Drooling
experiencer
?A))
Mid-level-ontology.kif 7520-7522
If
an object
is an
instance
of
animal
,
then
the object
is
capable
of doing
drooling
as a
experiencer
(=>
(
instance
?A
Anticoagulant
)
(
hasPurpose
?A
(
exists
(?M)
(
and
(
instance
?M
Mammal
)
(
experiencer
?M
(
ImpairmentFn
Clotting
))))))
Medicine.kif 4860-4867
If
a physical
is an
instance
of
blood thinner
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
mammal
and impairment in
coagulation
experience
s
the entity
(=>
(
instance
?A
Antiseizure
)
(
hasPurpose
?A
(
exists
(?H ?I ?T)
(
and
(
instance
?H
Human
)
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?A)
(
agent
?I ?H)
(
earlier
(
WhenFn
?I) ?T)
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Seizure
)
(
experiencer
?S ?H)))))))))
Medicine.kif 3318-3333
If
a physical
is an
instance
of
anti-seizure
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
ingesting
and the object transferred in
the other entity
is
the physical
and
the entity
is an
agent
of
the other entity
and the
time
of existence of
the other entity
happens
earlier
than
the third entity
and there doesn't exist
a fourth entity
such that
the fourth entity
is an
instance
of
epileptic seizure
and
the entity
experience
s
the fourth entity
holds
during
the third entity
(=>
(
instance
?A
Atrophy
)
(
exists
(?B)
(
and
(
experiencer
?A ?B)
(
instance
?B
BodyPart
))))
Mid-level-ontology.kif 7383-7388
If
a process
is an
instance
of
atrophy
,
then there exists
an agent
such that
the agent
experience
s
the process
and
the agent
is an
instance
of
body part
(=>
(
instance
?ACT
ScrollWheelRotating
)
(
exists
(?WHEEL)
(
and
(
experiencer
?ACT ?WHEEL)
(
instance
?WHEEL
ScrollWheel
))))
ComputerInput.kif 1672-1677
If
a process
is an
instance
of
scroll wheel rotating
,
then there exists
an agent
such that
the agent
experience
s
the process
and
the agent
is an
instance
of
scroll wheel
(=>
(
instance
?AGENT
SentientAgent
)
(
capability
Perception
experiencer
?AGENT))
Merge.kif 13600-13602
If
an object
is an
instance
of
sentient agent
,
then
the object
is
capable
of doing
perception
as a
experiencer
(=>
(
instance
?AMR
AutonomousMobileRobot
)
(
hasPurpose
?AMR
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?AMR)
(
patient
?T ?AMR)
(
instrument
?T ?AMR)
(
experiencer
?T ?AMR)
(
not
(
exists
(?G ?A)
(
and
(
instance
?G
Guiding
)
(
patient
?G ?AMR)
(
agent
?G ?A)
(
or
(
instance
?A
Human
)
(
instance
?A
Device
)))))))))
engineering.kif 966-984
If
a physical
is an
instance
of
autonomous mobile robot
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
translocation
and
the physical
is an
agent
of
the entity
and
the physical
is a
patient
of
the entity
and
the physical
is an
instrument
for
the entity
and
the physical
experience
s
the entity
and there don't exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
guiding
and
the physical
is a
patient
of
the other entity
and
the third entity
is an
agent
of
the other entity
and
the third entity
is an
instance
of
human
or
the third entity
is an
instance
of
device
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
