experiencer
(=>
(
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
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
If
a process
is an
instance
of
smiling
and
an agent
experience
s
the process
,
then the statement
happiness
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?S
Sunburn
)
(
experiencer
?S ?H))
(
exists
(?D ?SKIN)
(
and
(
instance
?D
Damaging
)
(
instrument
?D
Sol
)
(
instance
?SKIN
Skin
)
(
part
?SKIN ?H)
(
patient
?D ?SKIN))))
Mid-level-ontology.kif 11005-11015
If
a process
is an
instance
of
sunburn
and
an agent
experience
s
the process
,
then there exist
another process
and
the process
KIN such that
the other process
is an
instance
of
damaging
and
sol
is an
instrument
for
the other process
and
the process
KIN is an
instance
of
skin
and
the process
KIN is a
part
of
the agent
and
the process
KIN is a
patient
of
the other process
(=>
(
and
(
instance
?S
Tanning
)
(
experiencer
?S ?H))
(
exists
(?D ?SKIN)
(
and
(
instance
?D
RadiatingUltraviolet
)
(
instrument
?D
Sol
)
(
instance
?SKIN
Skin
)
(
part
?SKIN ?H)
(
patient
?D ?SKIN))))
Mid-level-ontology.kif 11023-11033
If
a process
is an
instance
of
tanning
and
an agent
experience
s
the process
,
then there exist
another process
and
the process
KIN such that
the other process
is an
instance
of
radiating ultraviolet
and
sol
is an
instrument
for
the other process
and
the process
KIN is an
instance
of
skin
and
the process
KIN is a
part
of
the agent
and
the process
KIN is a
patient
of
the other process
(=>
(
and
(
instance
?S
TonicClonicSeizure
)
(
experiencer
?S ?A))
(
holdsDuring
(
WhenFn
?S)
(
not
(
attribute
?A
Conscious
))))
Medicine.kif 1639-1646
If
a process
is an
instance
of
GTCS
and
an agent
experience
s
the process
,
then
conscious
is not an
attribute
of
the agent
holds
during
the
time
of existence of
the process
(=>
(
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
?SPIT
Drooling
)
(
experiencer
?SPIT ?ANIMAL))
(
exists
(?MOUTH ?S)
(
and
(
instance
?MOUTH
Mouth
)
(
objectTransferred
?SPIT ?S)
(
instance
?S
Saliva
)
(
part
?MOUTH ?ANIMAL)
(
origin
?SPIT ?MOUTH))))
Mid-level-ontology.kif 6567-6577
If
a transfer
is an
instance
of
drooling
and
an agent
experience
s
the transfer
,
then there exist
an object
and
another object
such that
the object
is an
instance
of
mouth
and the object transferred in
the transfer
is
the other object
and
the other object
is an
instance
of
saliva
and
the object
is a
part
of
the agent
and
the transfer
originate
s at
the object
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
If
a process
is an
instance
of
autoimmune vasculitis
and
an agent
experience
s
the process
,
then
impaired body part fn
blood vessel
is an
attribute
of
the agent
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
exists
(?B ?I)
(
and
(
instance
?B
BloodVessel
)
(
part
?B ?H)
(
instance
?I
Inflammation
)
(
patient
?I ?B))))
Medicine.kif 2425-2434
If
a process
is an
instance
of
autoimmune vasculitis
and
an agent
experience
s
the process
,
then there exist
an object
and
another process
such that
the object
is an
instance
of
blood vessel
and
the object
is a
part
of
the agent
and
the other process
is an
instance
of
inflammation
and
the object
is a
patient
of
the other process
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
If
a process
is an
instance
of
myasthenia gravis
and
an agent
experience
s
the process
,
then
impaired body part fn
nerve cell
is an
attribute
of
the agent
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
If
a process
is an
instance
of
Sjogrens syndrome
and
an agent
experience
s
the process
,
then
impaired body part fn
salivary gland
is an
attribute
of
the agent
or
impaired body part fn
lacrymal gland
is an
attribute
of
the agent
(=>
(
and
(
instance
?SS
StayingStill
)
(
experiencer
?SS ?A))
(
not
(
exists
(?B ?T)
(
and
(
instance
?B
BodyMotion
)
(
instance
?T
Translocation
)
(
causes
?B ?T)
(
agent
?B ?A)))))
emotion.kif 1523-1533
If
a process
is an
instance
of
staying still
and
an agent
experience
s
the process
,
then there don't exist
another process
and
a third process
such that
the other process
is an
instance
of
body motion
and
the third process
is an
instance
of
translocation
and
the other process
cause
s
the third process
and
the agent
is an
agent
of
the other process
(=>
(
and
(
instance
?T
Bradycardia
)
(
experiencer
?T ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?I
Minute
)
(
heartRate
?H ?I ?N))
(
greaterThan
50 ?N))
Medicine.kif 2847-2855
If
a process
is an
instance
of
Bradycardia
and
an agent
experience
s
the process
and
a heart
is an
instance
of
heart
and
the heart
is a
part
of
the agent
and
a time interval
is an
instance
of
minute
and
the heart
beats
at a rate of
an integer
beats per
the time interval
,
then 50 is
greater
than
the integer
(=>
(
and
(
instance
?T
Tachycardia
)
(
experiencer
?T ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?I
Minute
)
(
heartRate
?H ?I ?N))
(
greaterThan
?N 100))
Medicine.kif 2819-2827
If
a process
is an
instance
of
tachyarrhythmia
and
an agent
experience
s
the process
and
a heart
is an
instance
of
heart
and
the heart
is a
part
of
the agent
and
a time interval
is an
instance
of
minute
and
the heart
beats
at a rate of
an integer
beats per
the time interval
,
then
the integer
is
greater
than 100
(=>
(
and
(
instance
?T
TakingIll
)
(
experiencer
?T ?A))
(
exists
(?D)
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
holdsDuring
(
BeginFn
(
WhenFn
?T))
(
not
(
attribute
?A ?D)))
(
holdsDuring
(
EndFn
(
WhenFn
?T))
(
attribute
?A ?D)))))
Mid-level-ontology.kif 5932-5945
If
a process
is an
instance
of
taking ill
and
an agent
experience
s
the process
,
then there exists
an entity
such that
the entity
is an
instance
of
disease or syndrome
and
the entity
is not an
attribute
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
If
a process
is an
instance
of
temperature falling (experienced as feeling cold)
and
the process
is
located
at
an object
and
an agent
experience
s
the process
,
then
the agent
believe
s
cold
is an
attribute
of
the object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
If
a process
is an
instance
of
temperature rising (experienced as feeling warm)
and
the process
is
located
at
an object
and
an agent
experience
s
the process
,
then
the agent
believe
s
warm
is an
attribute
of
the object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?T
TransferringPosition
)
(
experiencer
?T ?H))
(
exists
(?P1 ?P2 ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?T))
(
occupiesPosition
?H ?P1 ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?T))
(
occupiesPosition
?H ?P2 ?ORG))
(
not
(
equal
?P1 ?P2)))))
Mid-level-ontology.kif 16948-16961
If
a process
is an
instance
of
transferring position
and
an agent
experience
s
the process
,
then there exist
an entity
,
another entity
and
a third entity
such that
the agent
holds the
position
of
the entity
in
the third entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
holds the
position
of
the other entity
in
the third entity
holds
during
the
end
of the
time
of existence of
the process
and
the entity
is not
equal
to
the other entity
(=>
(
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
(
instance
?TEXT
BirthCertificate
)
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N)
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
Day
)
(
birthplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)))))
Biography.kif 250-264
If
a content bearing physical
is an
instance
of
birth certificate
and
a process
is an
instance
of
birth
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
,
then
the content bearing physical
contains the formula there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
birthdate
of
the agent
and
the entity
is an
instance
of
day
and
the other entity
is a
birthplace
of
the agent
and
the other entity
is an
instance
of
geographic area
and
the third entity
express
es
the agent
and
the third entity
is an
instance
of
name
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
If
a content bearing physical
is an
instance
of
DeathCertificate
and
a process
is an
instance
of
death
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
,
then
the content bearing physical
contains the formula there exist
the process
AY,
another entity
,, ,
a third entity
and
the other entity
ROC such that
the process
AY is a
deathdate
of
the agent
and
the process
AY is an
instance
of
day
and
the other entity
is a
deathplace
of
the agent
and
the other entity
is an
instance
of
geographic area
and
the third entity
express
es
the agent
and
the third entity
is an
instance
of
name
and
the other entity
ROC
cause
s
the process
and
the other entity
ROC is an
instance
of
process
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
exists
(?VAC)
(
and
(
instance
?VAC
Vaccine
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?V)
(
contains
?H ?VAC))))))
WMD.kif 1071-1081
If
a process
is an
instance
of
vaccination
and
an agent
experience
s
the process
,
then there exists
the process
AC such that
the process
AC is an
instance
of
vaccine
and holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?A))
(
exists
(?S ?O)
(
and
(
instance
?S
Stomach
)
(
part
?S ?A)
(
holdsDuring
(
BeginFn
(
WhenFn
?V))
(
located
?O ?S))
(
holdsDuring
(
EndFn
(
WhenFn
?V))
(
not
(
located
?O ?A))))))
Mid-level-ontology.kif 21413-21427
If
a process
is an
instance
of
vomiting
and
an agent
experience
s
the process
,
then there exist
an object
and
an entity
such that
the object
is an
instance
of
stomach
and
the object
is a
part
of
the agent
and
the entity
is
located
at
the object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not
located
at
the agent
holds
during
the
end
of the
time
of existence of
the process
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