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 5846-5858
(=>
(
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
(=>
(
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
(=>
(
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 9773-9794
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
(=>
(
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 16446-16458
(=>
(
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
(=>
(
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
(=>
(
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 5724-5735
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
(=>
(
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
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
(=>
(
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
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
(=>
(
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
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
and
(
instance
?A
Animal
)
(
attribute
?A
Female
)))
Mid-level-ontology.kif 24130-24136
(=>
(
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 24115-24128
(=>
(
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 16483-16493
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
(=>
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F))
(
and
(
attribute
?F
Female
)
(
not
(
attribute
?F
Menopausal
))))
Mid-level-ontology.kif 23879-23886
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
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