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 1645-1656
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 18347-18354
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 16410-16426
If
dizzy
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 4533-4541
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 5326-5340
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 2105-2114
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 4783-4793
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 30695-30715
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
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 1906-1921
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 6582-6584
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 4853-4860
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 3317-3332
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 6445-6450
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 13483-13485
If
an object
is an
instance
of
sentient agent
,
then
the object
is
capable
of doing
perception
as a
experiencer
(=>
(
instance
?AW
ArtWork
)
(
hasPurpose
?AW
(
exists
(?H ?P)
(
and
(
instance
?H
Human
)
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
patient
?P ?AW)))))
Merge.kif 15866-15874
If
a physical
is an
instance
of
art work
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
perception
and
the entity
experience
s
the other entity
and
the physical
is a
patient
of
the other entity
(=>
(
instance
?AW
ArtWork
)
(
hasPurpose
?AW
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
desires
?H
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
patient
?P ?AW))))))))
Merge.kif 15876-15887
If
a physical
is an
instance
of
art work
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
human
and
the entity
desire
s there exists
another entity
such that
the other entity
is an
instance
of
perception
and
the entity
experience
s
the other entity
and
the physical
is a
patient
of
the other entity
(=>
(
instance
?B
Bloating
)
(
exists
(?P ?S ?I ?G)
(
and
(
experiencer
?B ?P)
(
instance
?G
Gas
)
(
or
(
and
(
part
?I ?P)
(
instance
?I
Intestine
)
(
contains
?I ?G))
(
and
(
part
?S ?P)
(
instance
?S
Stomach
)
(
contains
?S ?G))))))
Mid-level-ontology.kif 6457-6471
If
a process
is an
instance
of
bloating
,
then there exist
an agent
,
a self connected object
,, ,
another self connected object
and
an object
such that
the agent
experience
s
the process
and
the object
is an
instance
of
gas
and
the other self connected object
is a
part
of
the agent
and
the other self connected object
is an
instance
of
intestine
and
the other self connected object
contain
s
the object
or
the self connected object
is a
part
of
the agent
and
the self connected object
is an
instance
of
stomach
and
the self connected object
contain
s
the object
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