experiencer
(=>
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H))
(
exists
(?T ?R ?O)
(
and
(
instance
?T
Translocation
)
(
moves
?T ?O)
(
instance
?O
Organism
)
(
instance
?R
Replication
)
(
experiencer
?R ?O)
(
subProcess
?T ?I)
(
subProcess
?R ?I))))
Mid-level-ontology.kif 5847-5859
If
a process
is an
instance
of
infecting
and
an agent
experience
s
the process
,
then there exist
a motion
,
another process
and
another agent
such that
the motion
is an
instance
of
translocation
and
the other agent
moves during
the motion
and
the other agent
is an
instance
of
organism
and
the other process
is an
instance
of
replication
and
the other agent
experience
s
the other process
and
the motion
is a
subprocess
of
the process
and
the other process
is a
subprocess
of
the process
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
the object
C and
pathologic side effect
the object
C and
the object
IS,
then the statement there exists
an entity
such that
the entity
is an
instance
of
the object
IS and
the entity
experience
s
the agent
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
the object
C and
the object
IS is a
side
effect
of taking
the object
C,
then the statement
the object
IS is an
attribute
of
the agent
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
mood stabilizer
and
a process
is an
instance
of
the process
C and
the agent
is an
involved
in event of
the process
and
the process
S is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
and
the process
S is an
instance
of
emotional state
and
the process
2 is an
instance
of
the process
C and
the agent
is an
involved
in event of
the process
2 and the
time
of existence of
the process
2 happens
earlier
than the
time
of existence of
the transfer
,
then the statement
the process
S is an
attribute
of
the agent
doesn't hold
during
the process
2 has the
modal
force
of
unlikely
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
If
a process
is an
instance
of
injuring
and
an agent
experience
s
the process
,
then
injury
is an
attribute
of
the agent
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
exists
(?TH)
(
and
(
instance
?TH
Trachea
)
(
part
?TH ?H)
(
destination
?I ?TH))))
Medicine.kif 4135-4145
If
a transfer
is an
instance
of
Intubation
and
an object
is an
instance
of
tube
and the object transferred in
the transfer
is
the object
and
an agent
experience
s
the transfer
,
then there exists
the object
H such that
the object
H is an
instance
of
trachea
and
the object
H is a
part
of
the agent
and
the transfer
end
s up at
the object
H
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
If
a transfer
is an
instance
of
Intubation
and
an object
is an
instance
of
tube
and the object transferred in
the transfer
is
the object
and
an agent
experience
s
the transfer
,
then
the transfer
has the purpose there exists
an entity
such that
the entity
is an
instance
of
breathing
and
the object
is an
instrument
for
the entity
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
If
a process
is an
instance
of
pruritus
and
the process
is
located
at
an object
and
the object
is a
part
of
a cognitive agent
and
the cognitive agent
experience
s
the process
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
scratching
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the process
and
the entity
is
located
at
the object
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
If
a process
is an
instance
of
Addison's disease
and
an agent
experience
s
the process
,
then
impaired body part fn
adrenal gland
is an
attribute
of
the agent
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
If
a process
is an
instance
of
Graves' disease
and
an agent
experience
s
the process
,
then
impaired body part fn
thyroid gland
is an
attribute
of
the agent
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
If
a process
is an
instance
of
Graves' disease
and
an agent
experience
s
the process
and
the agent
is an
instance
of
human
and
an object
is an
instance
of
thyroid hormone
and
the object
is a
part
of
the agent
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
human
and
a third object
is an
instance
of
thyroid hormone
and
the third object
is a
part
of
the other object
and the
measure
of
the third object
is
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the other object
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
If
a process
is an
instance
of
Hashimoto's thyroiditis
and
an agent
experience
s
the process
,
then
impaired body part fn
thyroid gland
is an
attribute
of
the agent
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
If
a process
is an
instance
of
Hashimoto's thyroiditis
and
an agent
experience
s
the process
and
the agent
is an
instance
of
human
and
an object
is an
instance
of
thyroid hormone
and
the object
is a
part
of
the agent
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
human
and
a third object
is an
instance
of
thyroid hormone
and
the third object
is a
part
of
the other object
and the
measure
of
the third object
is
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the other object
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
If
a process
is an
instance
of
inflammatory bowel disease
and
an agent
experience
s
the process
,
then
impaired body part fn
GI
is an
attribute
of
the agent
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
If
a process
is an
instance
of
ulcerative colitis
and
an agent
experience
s
the process
,
then
impaired body part fn
large intestine
is an
attribute
of
the agent
or
impaired body part fn
rectum
is an
attribute
of
the agent
(=>
(
and
(
instance
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
If
an object
is an
instance
of
InvasiveVentilator
and
a process
is an
instance
of
breathing
and
an agent
experience
s
the process
and
the object
is an
instrument
for
the process
,
then there exists
another process
such that
the other process
is an
instance
of
Intubation
and
the other process
end
s up at
the agent
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
and
(
instance
?A
Animal
)
(
attribute
?A
Female
)))
Mid-level-ontology.kif 24131-24137
If
a process
is an
instance
of
laying eggs
and
an agent
experience
s
the process
,
then
the agent
is an
instance
of
animal
and
female
is an
attribute
of
the agent
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
exists
(?E)
(
and
(
instance
?E
Egg
)
(
patient
?L ?E)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
part
?E ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
not
(
part
?E ?A))))))
Mid-level-ontology.kif 24116-24129
If
a process
is an
instance
of
laying eggs
and
an agent
experience
s
the process
,
then there exists
an entity
such that
the entity
is an
instance
of
egg
and
the entity
is a
patient
of
the process
and
the entity
is a
part
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not a
part
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?L
LosingConsciousness
)
(
experiencer
?L ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
attribute
?A
Awake
))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
attribute
?A
Unconscious
))))
Mid-level-ontology.kif 16484-16494
If
a process
is an
instance
of
losing consciousness
and
an agent
experience
s
the process
,
then
awake
is an
attribute
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
unconscious
is an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the 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
?M
Menstruation
)
(
experiencer
?M ?F))
(
and
(
attribute
?F
Female
)
(
not
(
attribute
?F
Menopausal
))))
Mid-level-ontology.kif 23880-23887
If
a process
is an
instance
of
menstruation
and
an agent
experience
s
the process
,
then
female
is an
attribute
of
the agent
and
menopause
is not an
attribute
of
the agent
(=>
(
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
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
If
a process
is an
instance
of
MS
and
an agent
experience
s
the process
,
then
impaired body part fn
nervous system
is an
attribute
of
the agent
(=>
(
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
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