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
Processus
est une
instance
de
Infecting
AutonomousAgent
exp
�rimente
processus
d�palcement
processus
and
AutonomousAgent
d�palcement
est une
instance
de
Translocation
moves
d�palcement
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisme
processus
est une
instance
de
reproduction
AutonomousAgent
exp
�rimente
processus
d�palcement
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
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
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
pathologicSideEffect
objet
C and
objet
IS
l'argument
entit�
entit�
est une
instance
de
objet
IS
entit�
exp
�rimente
AutonomousAgent
a la
force
modale
de
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
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
sideEffect
objet
C and
objet
IS
l'argument
objet
IS est un
attribut
de
AutonomousAgent
a la
force
modale
de
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
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
MoodStabilizer
processus
est une
instance
de
processus
C
involvedInEvent
processus
and
AutonomousAgent
processus
S est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
processus
S est une
instance
de
�tat �motionnel
processus
2 est une
instance
de
processus
C
involvedInEvent
processus
2 and
AutonomousAgent
temps
d'existence de
processus
2 arrive
plus
t�t que
temps
d'existence de
transf�re
l'argument
processus
S est un
attribut
de
AutonomousAgent
pendant
processus
2 a la
force
modale
de
Unlikely
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
Processus
est une
instance
de
blesser
AutonomousAgent
exp
�rimente
processus
Injury
est un
attribut
de
AutonomousAgent
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Insomnia
agent cognitif
exp
�rimente
processus
processus
dur�e temporel
and
dur�e temporel
2
processus
est une
instance
de
Sleeping
agent cognitif
exp
�rimente
processus
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
agent cognitif
desire
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
2
dur�e temporel
2 est
plus
grand
que
dur�e temporel
(=>
(
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
Transf�re
est une
instance
de
Intubation
objet
est une
instance
de
Tube
objectTransferred
transf�re
and
objet
AutonomousAgent
exp
�rimente
transf�re
objet
H
objet
H est une
instance
de
Trachea
objet
H est une
partie
de
AutonomousAgent
transf�re
aboutit
�
objet
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
Transf�re
est une
instance
de
Intubation
objet
est une
instance
de
Tube
objectTransferred
transf�re
and
objet
AutonomousAgent
exp
�rimente
transf�re
transf�re
a pour
but
entit�
entit�
est une
instance
de
respirer
objet
est un
instrument
pour
entit�
(=>
(
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
Processus
est une
instance
de
Itching
processus
est
situ
� �
objet
objet
est une
partie
de
agent cognitif
agent cognitif
exp
�rimente
processus
agent cognitif
desire
entit�
entit�
est une
instance
de
Scratching
temps
d'existence de
entit�
prend place
pendant
temps
d'existence de
processus
entit�
est
situ
� �
objet
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
Processus
est une
instance
de
AddisonsDisease
AutonomousAgent
exp
�rimente
processus
ImpairedBodyPartFn
AdrenalGland
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
Processus
est une
instance
de
GravesDisease
AutonomousAgent
exp
�rimente
processus
ImpairedBodyPartFn
ThyroidGland
est un
attribut
de
AutonomousAgent
(=>
(
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
Processus
est une
instance
de
GravesDisease
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
AutonomousAgent
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
Healthy
est un
attribut
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
Processus
est une
instance
de
HashimotosThyroiditis
AutonomousAgent
exp
�rimente
processus
ImpairedBodyPartFn
ThyroidGland
est un
attribut
de
AutonomousAgent
(=>
(
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
Processus
est une
instance
de
HashimotosThyroiditis
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
AutonomousAgent
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
Healthy
est un
attribut
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
Processus
est une
instance
de
InflammatoryBowelDisease
AutonomousAgent
exp
�rimente
processus
ImpairedBodyPartFn
GastroIntestinalTract
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
Processus
est une
instance
de
UlcerativeColitis
AutonomousAgent
exp
�rimente
processus
ImpairedBodyPartFn
LargeIntestine
est un
attribut
de
AutonomousAgent
ImpairedBodyPartFn
Rectum
est un
attribut
de
AutonomousAgent
(=>
(
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
Objet
est une
instance
de
InvasiveVentilator
processus
est une
instance
de
respirer
AutonomousAgent
exp
�rimente
processus
objet
est un
instrument
pour
processus
processus
processus
est une
instance
de
Intubation
processus
aboutit
�
AutonomousAgent
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
and
(
instance
?A
Animal
)
(
attribute
?A
Female
)))
Mid-level-ontology.kif 24131-24137
Processus
est une
instance
de
LayingEggs
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
animal
Female
est un
attribut
de
AutonomousAgent
(=>
(
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
Processus
est une
instance
de
LayingEggs
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
Egg
entit�
est un
patient
de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
LosingConsciousness
AutonomousAgent
exp
�rimente
processus
r�veill�
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
inconscient
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
Processus
est une
instance
de
Lupus
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
SkinRash
AutonomousAgent
exp
�rimente
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F))
(
and
(
attribute
?F
Female
)
(
not
(
attribute
?F
Menopausal
))))
Mid-level-ontology.kif 23880-23887
Processus
est une
instance
de
Menstruation
AutonomousAgent
exp
�rimente
processus
Female
est un
attribut
de
AutonomousAgent
Menopausal
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
Interval temporel
est une
instance
de
MusclesRelaxing
AutonomousAgent
exp
�rimente
interval temporel
interval temporel
interval temporel
recouvre
interval temporel
interval temporel
est une
instance
de
MusclesBecomingTense
AutonomousAgent
exp
�rimente
interval temporel
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
Processus
est une
instance
de
MultipleSclerosis
AutonomousAgent
exp
�rimente
processus
ImpairedBodyPartFn
NervousSystem
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
Interval temporel
est une
instance
de
MusclesBecomingTense
AutonomousAgent
exp
�rimente
interval temporel
interval temporel
interval temporel
recouvre
interval temporel
interval temporel
est une
instance
de
MusclesRelaxing
AutonomousAgent
exp
�rimente
interval temporel
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