experiencer
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16447-16459
If
a process
is an
instance
of
insomnia
and
a cognitive agent
experience
s
the process
,
then there exist
another process
,
a time duration
and
the time duration
2 such that
the other process
is an
instance
of
sleeping
and
the cognitive agent
experience
s
the other process
and
duration
of the
time
of existence of
the other process
is
the time duration
and
the cognitive agent
desire
s
duration
of the
time
of existence of
the other process
is
the time duration
2 and
the time duration
2 is
greater
than
the time duration
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
If
a process
is an
instance
of
inheriting
and
a cognitive agent
is an
agent
of
the process
and
the process
originate
s at
an agent
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
death
and
the agent
experience
s
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
and
the agent
possess
es
the entity
holds
during
immediately
before
the
time
of existence of
the other process
and
the agent
allow
s
the cognitive agent
to perform task of the type
the cognitive agent
possess
es
the entity
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12313-12321
If
a process
is an
instance
of
killing
and
an agent
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
death
and
the agent
experience
s
the other process
and
the process
cause
s
the other process
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
If
a process
is an
instance
of
lupus
and
an agent
experience
s
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
rash
and
the agent
experience
s
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
If
a time interval
is an
instance
of
muscles relaxing
and
an agent
experience
s
the time interval
,
then there doesn't exist
another time interval
such that
the time interval
overlap
s
the other time interval
and
the other time interval
is an
instance
of
muscles becoming tense
and
the agent
experience
s
the other time interval
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
If
a time interval
is an
instance
of
muscles becoming tense
and
an agent
experience
s
the time interval
,
then there doesn't exist
another time interval
such that
the time interval
overlap
s
the other time interval
and
the other time interval
is an
instance
of
muscles relaxing
and
the agent
experience
s
the other time interval
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
If
a process
is an
instance
of
nausea
and
a cognitive agent
experience
s
the process
,
then
the cognitive agent
believe
s there exists
an entity
such that
the entity
is an
instance
of
vomiting
and
the cognitive agent
experience
s
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
If
a process
is an
instance
of
coeliac disease
and
an agent
experience
s
the process
and
an object
is an
instance
of
small intestine
and
the object
is a
part
of
the agent
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
Diarrhoea
and
the agent
experience
s
the entity
and
the process
cause
s
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?PER)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?H)
(
patient
?PER ?HEART))))
Medicine.kif 2060-2070
If
a process
is an
instance
of
palpitations
and
an agent
experience
s
the process
and
the agent
EART is an
instance
of
heart
and
the agent
EART is a
part
of
the agent
,
then there exists
the process
ER such that
the process
ER is an
instance
of
perception
and
the agent
experience
s
the process
ER and
the agent
EART is a
patient
of
the process
ER
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8600-8610
If
an object
is an
instance
of
poison
and
a motion
is an
instance
of
ingesting
and
the object
moves during
the motion
and
an agent
experience
s
the motion
,
then there exists
a process
such that
the process
is an
instance
of
damaging
and
the agent
experience
s
the process
and
the motion
cause
s
the process
(=>
(
and
(
instance
?PP
PublicProgram
)
(
experiencer
?PP ?PUBLIC))
(
hasPurpose
?PP
(
exists
(?HELPING)
(
and
(
instance
?HELPING
Helping
)
(
experiencer
?HELPING ?PUBLIC)
(
instance
?PUBLIC
Public
)))))
MilitaryProcesses.kif 1383-1392
If
a process
is an
instance
of
public program
and
an agent
experience
s
the process
,
then
the process
has the purpose there exists
an entity
such that
the entity
is an
instance
of
helping
and
the agent
experience
s
the entity
and
the agent
is an
instance
of
public
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
If
a process
is an
instance
of
septic shock
and
an agent
experience
s
the process
,
then there exists
another process
such that
the other process
is an
instance
of
infecting
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5749-5759
If
a process
is an
instance
of
rash
and
an agent
experience
s
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
pruritus
and
the agent
experience
s
the entity
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
If
a wearable item
is an
instance
of
safety harness
and
an animal
is an
instance
of
animal
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 wearable item
is an
instrument
for
the entity
and
the animal
is a
patient
of
the entity
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
(
instance
?SHN
SupportHNAssistance
)
(
experiencer
?SHN ?HN)
(
instance
?HN
HostNation
))
(
exists
(?OP)
(
and
(
instance
?OP
MilitaryOperation
)
(
instance
?OP
Helping
)
(
experiencer
?OP ?HN)
(
patient
?SHN ?OP))))
MilitaryProcesses.kif 1293-1303
If
a process
is an
instance
of
supportHN assistance
and
an agent
experience
s
the process
and
the agent
is an
instance
of
host nation
,
then there exists
another process
such that
the other process
is an
instance
of
military operation
and
the other process
is an
instance
of
helping
and
the agent
experience
s
the other process
and
the other process
is a
patient
of
the process
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
experiencer
?A2)
(
not
(
capability
?S
experiencer
?A)))))
Merge.kif 13494-13504
If
a process
is an
instance
of impairment in
a kind of perception
and
an agent
experience
s
the process
,
then there exists
the agent
2 such that
the agent
2 is not
equal
to
the agent
and
the agent
2 is
capable
of doing
a kind of perception
as a
experiencer
and
the agent
is not
capable
of doing
the kind of perception
as a
experiencer
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13514-13519
If
a process
is an
instance
of impairment in
a kind of perception
and
an agent
experience
s
the process
,
then
the agent
is not
capable
of doing
a kind of perception
as a
experiencer
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1967-1975
If
a process
is an
instance
of
sad 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
sadness
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1928-1936
If
a process
is an
instance
of
surprised 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
surprise
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
If
an agent
is an
instance
of
ticket
and
the agent
possess
es
an object
and
a cognitive agent
is an
issued
by of
the agent
and
amusement gambling and recreation industries
is an
attribute
of
the cognitive agent
and
the cognitive agent
is
located
at
another object
,
then
the cognitive agent
confers
norm there exists
an entity
such that
the entity
is an
instance
of
recreation or exercise
and
the object
experience
s
the entity
and
the entity
is
located
at
the other object
for
permission
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
If
a time interval
is an
instance
of
TimePeriod
and
duration
of
the time interval
is
a real number
minute duration
(s) and
the real number
is
greater
than 5.0 and
an entity
is an
instance
of
human
and there doesn't exist
a process
such that
the process
is an
instance
of
breathing
and the
time
of existence of
the process
takes place
during
the time interval
and
the entity
is a
patient
of
the process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
death
and
the entity
experience
s
the other entity
and
the time interval
meet
s the
time
of existence of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
If
a process
is an
instance
of
translocation
and
another process
is an
instance
of
translocation
and
the process
originate
s at
an object
and
the other process
originate
s at
another object
and
the process
end
s up at
the other object
and
the other process
end
s up at
an entity
and
an agent
experience
s
the process
and
the agent
experience
s
the other process
,
then there exists
a third process
such that
the third process
is an
instance
of
translocation
and
the third process
originate
s at
the object
and
the third process
end
s up at
the entity
and
the process
is a
subprocess
of
the third process
and
the other process
is a
subprocess
of
the third process
and
the agent
experience
s
the third process
and the
time
of existence of
the process
start
s the
time
of existence of
the third process
and the
time
of existence of
the other process
finish
es the
time
of existence of
the third process
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
If
a cognitive agent
is an
issued
by of
a certificate
and
the certificate
is an
instance
of
ticket
and
an agent
possess
es
the certificate
,
then
the cognitive agent
confers
norm there exists
an entity
such that there exists
another entity
such that
the other entity
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the other entity
and
the agent
experience
s
the other entity
holds
during
the entity
for
permission
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
If
a reservation
is a
reservation
for
a proposition
and
the reservation
reserves
another reservation
,
then the statement there exists
an entity
such that
the entity
express
es the content of
the proposition
and
the other reservation
experience
s
the entity
has the
modal
force
of
likely
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
If
a kind of vaccine
is a
vaccine
for
a kind of virus
and
a transfer
is an
instance
of
vaccination
and
an agent
experience
s
the transfer
and
a kind of vaccine
I is an
instance
of
the kind of vaccine
and the object transferred in
the transfer
is
the kind of vaccine
I,
then
the kind of vaccine
I has the purpose there don't exist
an entity
and
a kind of virus
I such that
the entity
is an
instance
of
infecting
and
the agent
experience
s
the entity
and
the kind of virus
I is an
instance
of
the kind of virus
and the object transferred in
the entity
is
the kind of virus
I
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