experiencer
(=>
(
attribute
?H
Asthma
)
(
exists
(?I)
(
and
(
instance
?I
(
ImpairmentFn
Breathing
))
(
experiencer
?I ?H))))
Medicine.kif 3417-3423
Asthma
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
ImpairmentFn
respirer
AutonomousAgent
exp
�rimente
processus
(=>
(
attribute
?H
Bronchitis
)
(
exists
(?I)
(
and
(
instance
?I
(
InflammationFn
BronchialDuct
))
(
experiencer
?I ?H))))
Mid-level-ontology.kif 6021-6027
Bronchitis
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
InflammationFn
BronchialDuct
AutonomousAgent
exp
�rimente
processus
(=>
(
attribute
?H
DiabetesType1
)
(
exists
(?A)
(
and
(
instance
?A
AutoImmuneDisorder
)
(
experiencer
?A ?H))))
Medicine.kif 2149-2154
DiabetesType1
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
AutoImmuneDisorder
AutonomousAgent
exp
�rimente
processus
(=>
(
attribute
?H
Dysautonomia
)
(
exists
(?P)
(
and
(
experiencer
?P ?H)
(
instance
?P
(
ImpairmentFn
AutonomicProcess
)))))
Medicine.kif 4230-4236
Dysautonomia
est un
attribut
de
AutonomousAgent
processus
AutonomousAgent
exp
�rimente
processus
processus
est une
instance
de
ImpairmentFn
AutonomicProcess
(=>
(
attribute
?H
Eczema
)
(
exists
(?SI)
(
and
(
instance
?SI
(
InflammationFn
Skin
))
(
experiencer
?SR ?H))))
Medicine.kif 4389-4395
Eczema
est un
attribut
de
AutonomousAgent
entit�
entit�
est une
instance
de
InflammationFn
Skin
AutonomousAgent
exp
�rimente
processus
(=>
(
attribute
?H
Eczema
)
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H))))
Medicine.kif 4382-4387
Eczema
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
SkinRash
AutonomousAgent
exp
�rimente
processus
(=>
(
attribute
?H
Pneumonia
)
(
exists
(?I)
(
and
(
instance
?I
(
InflammationFn
Lung
))
(
experiencer
?I ?H))))
Mid-level-ontology.kif 6207-6213
Pneumonia
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
InflammationFn
Lung
AutonomousAgent
exp
�rimente
processus
(=>
(
attribute
?OBJ
FullyFormed
)
(
exists
(?GROWTH)
(
and
(
instance
?GROWTH
Growth
)
(
experiencer
?GROWTH ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?OBJ))
(
attribute
?OBJ
NonFullyFormed
)))))
Merge.kif 18144-18150
FullyFormed
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
grandir
AutonomousAgent
exp
�rimente
processus
NonFullyFormed
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
AutonomousAgent
(=>
(
axis
?AXIS ?OBJ)
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
part
?AXIS ?OBJ)
(
experiencer
?R ?OBJ)
(
not
(
exists
(?R2)
(
and
(
instance
?R2
Rotating
)
(
subProcess
?R2 ?R)
(
experiencer
?R2 ?AXIS)))))))
Mid-level-ontology.kif 17468-17480
axis
AutonomousAgent
and
AutonomousAgent
processus
processus
est une
instance
de
Rotating
AutonomousAgent
est une
partie
de
AutonomousAgent
AutonomousAgent
exp
�rimente
processus
processus
2
processus
2 est une
instance
de
Rotating
processus
2 est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
2
(=>
(
baptizeddate
?PERSON ?DAY)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
date
?BAPTISM ?DAY))))
Biography.kif 178-184
baptizeddate
humain
and
jour
processus
processus
est une
instance
de
Baptizing
humain
exp
�rimente
processus
la
date
de
processus
est
jour
(=>
(
baptizedplace
?PERSON ?PLACE)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
eventLocated
?BAPTISM ?PLACE))))
Biography.kif 192-198
baptizedplace
humain
and
r�gion
processus
processus
est une
instance
de
Baptizing
humain
exp
�rimente
processus
eventLocated
processus
and
r�gion
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24270-24276
birthdate
humain
and
jour
processus
processus
est une
instance
de
naissance
humain
exp
�rimente
processus
la
date
de
processus
est
jour
(=>
(
birthplace
?INDIV ?PLACE)
(
exists
(?BIRTH)
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIV)
(
eventLocated
?BIRTH ?PLACE))))
Mid-level-ontology.kif 24256-24262
birthplace
animal
and
objet
processus
processus
est une
instance
de
naissance
animal
exp
�rimente
processus
eventLocated
processus
and
objet
(=>
(
changesLocation
?EVENT ?OBJ)
(
and
(
instance
?EVENT
Translocation
)
(
instance
?OBJ
Object
)
(
or
(
patient
?EVENT ?OBJ)
(
agent
?EVENT ?OBJ)
(
experiencer
?EVENT ?OBJ))))
Merge.kif 11003-11011
changesLocation
Translocation
and
AutonomousAgent
Translocation
est une
instance
de
Translocation
AutonomousAgent
est une
instance
de
objet
AutonomousAgent
est un
patient
de
Translocation
Translocation
est un
agent
de
AutonomousAgent
AutonomousAgent
exp
�rimente
Translocation
(=>
(
deathdate
?P ?T)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
date
?D ?T))))
Mid-level-ontology.kif 24284-24290
deathdate
humain
and
jour
processus
processus
est une
instance
de
mort
humain
exp
�rimente
processus
la
date
de
processus
est
jour
(=>
(
deathplace
?P ?L)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
eventLocated
?D ?L))))
Mid-level-ontology.kif 24300-24306
deathplace
animal
and
objet
processus
processus
est une
instance
de
mort
animal
exp
�rimente
processus
eventLocated
processus
and
objet
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
diseaseMedicine
maladie ou syndrome
,
substance biologique active
and
processus
entit�
position temporel
,
entit�
and
entit�
maladie ou syndrome
est un
attribut
de
entit�
pendant
position temporel
entit�
est une
instance
de
processus
temps
d'existence de
entit�
est une
partie
de
position temporel
entit�
exp
�rimente
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
substance biologique active
augmente
la probabilit� de
maladie ou syndrome
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
(=>
(
diseaseMortality
?DISEASE ?RATE)
(
conditionalProbability
(
exists
(?ORGANISM)
(
and
(
instance
?ORGANISM
Organism
)
(
attribute
?ORGANISM ?DISEASE)))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORGANISM))) ?RATE))
WMD.kif 890-900
diseaseMortality
maladie ou syndrome
and
nombre r�el
la
probabilit
� de
entit�
entit�
est une
instance
de
organisme
maladie ou syndrome
est un
attribut
de
entit�
pourvu que
entit�
entit�
est une
instance
de
mort
entit�
exp
�rimente
entit�
vaut
nombre r�el
(=>
(
enjoys
?AGENT ?PROCESS)
(
desires
?AGENT
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?PROCESS)
(
or
(
agent
?INSTANCE ?AGENT)
(
experiencer
?INSTANCE ?AGENT))))))
Mid-level-ontology.kif 7376-7384
enjoys
agent cognitif
and
entit�
agent cognitif
desire
entit�
entit�
est une
instance
de
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
entit�
(=>
(
equal
?WKBMC
(
WeekBeforeMenstruationFn
?W))
(
equal
?WKBC
(
KappaFn
?C
(
and
(
instance
?C
Week
)
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?W)
(
equal
?C
(
WeekBeforeFn
(
WhenFn
?M)))))))))
Medicine.kif 1521-1534
Entit�
est
WeekBeforeMenstruationFn
entit�
entit�
KBC est
classe
d�crite par
cha�ne sympbolique
(=>
(
exclusiveEvent
?EXP ?PROC)
(
exists
(?EVP ?AGENT)
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
earlier
(
WhenFn
?EVP)
(
WhenFn
?PROC)))))
UXExperimentalTerms.kif 4345-4355
exclusiveEvent
Experimenting
and
processus
processus
humain
processus
est une
instance
de
processus
humain
est une
instance
de
AutonomousAgent
treatedUser
humain
and
Experimenting
experimentalVariableProcess
Experimenting
and
processus
humain
exp
�rimente
processus
humain
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
SleepApnea
)
(
attribute
?H
Sleeping
)))
(
exists
(?T2 ?B ?B2)
(
and
(
during
?T2 ?T)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T2)
(
experiencer
?B ?H))))
(
holdsDuring
?T2
(
and
(
instance
?B2
Breathing
)
(
needs
?H ?B2))))))
Medicine.kif 4161-4178
SleepApnea
est un
attribut
de
AutonomousAgent
Sleeping
est un
attribut
de
AutonomousAgent
pendant
interval temporel
interval temporel
2
processus
and
processus
2
interval temporel
2 prend place
pendant
interval temporel
processus
processus
est une
instance
de
respirer
temps
d'existence de
processus
prend place
pendant
interval temporel
2
AutonomousAgent
exp
�rimente
processus
processus
2 est une
instance
de
respirer
AutonomousAgent
a
besoin
de
processus
2
pendant
interval temporel
2
(=>
(
holdsDuring
?T
(
attribute
?A
Anger
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
AngryFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1244-1253
Colère
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
AngryFacialExpression
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Disgust
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
DisgustedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1262-1271
Dégoût
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
DisgustedFacialExpression
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
FearfulFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1344-1353
Peur
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
FearfulFacialExpression
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
position temporel
a la
force
modale
de
Likely
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