Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ImpairedBodyPartFn
Sigma KEE - ImpairedBodyPartFn
ImpairedBodyPartFn
appearance as argument number 1
(
documentation
ImpairedBodyPartFn
EnglishLanguage
"A
Function
that returns an instance of ImpairedBodyPartFn that
refers
to a particular
BodyPart
. For example, a broken leg would be a
subAttribute
of (ImpairedBodyPartFn Leg)")
Merge.kif 18242-18245
(
domainSubclass
ImpairedBodyPartFn
1
BodyPart
)
Merge.kif 18240-18240
Le nombre 1 argument de
ImpairedBodyPartFn
est une
sous
-classe de
partie du corps
(
instance
ImpairedBodyPartFn
UnaryFunction
)
Merge.kif 18239-18239
ImpairedBodyPartFn
est une
instance
de
function unaire
(
range
ImpairedBodyPartFn
DiseaseOrSyndrome
)
Merge.kif 18241-18241
Le
domaine
de
ImpairedBodyPartFn
est une instance de
maladie ou syndrome
appearance as argument number 2
(
termFormat
EnglishLanguage
ImpairedBodyPartFn
"impaired body part fn")
domainEnglishFormat.kif 65021-65021
antecedent
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18247-18257
ImpairedBodyPartFn
classe
est un
attribut
de
objet
pendant
position temporel
classe
I est une
instance
de
classe
classe
I est une
partie
de
objet
classe
I a pour
but
formule
l'argument
formule
a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
Processus
est une
instance
de
impacte
entit�
est un
patient
de
processus
ImpairedBodyPartFn
Brain
est un
attribut
de
entit�
pendant
immediatement
apr
�s
processus
l'argument
Concussion
est un
attribut
de
entit�
pendant
immediatement
apr
�s
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
Processus
est une
instance
de
affrontement violent
objet
est un
patient
de
processus
InjuryCausedFn
processus
est un
attribut
de
objet
ImpairedBodyPartFn
Airway
est un
attribut
de
objet
l'argument
processus
est une
sous
-classe de
combustion
entit�
entit�
est une
instance
de
blesser
entit�
est
situ
� �
entit�
entit�
est une
instance
de
Face
objet
est un
patient
de
entit�
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
InfectiousDisease
)
(
attribute
?H
Diabetes
)
(
attribute
?H
(
ImpairedBodyPartFn
Foot
))))
(
holdsDuring
?T
(
diseaseMedicine
InfectiousDisease
Ertapenem
Injecting
)))
Medicine.kif 1374-1381
InfectiousDisease
est un
attribut
de
entit�
Diabetes
est un
attribut
de
entit�
ImpairedBodyPartFn
Foot
est un
attribut
de
entit�
pendant
position temporel
diseaseMedicine
InfectiousDisease
,
Ertapenem
and
Injecting
pendant
position temporel
(=>
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Eardrum
)))
(
modalAttribute
(
not
(
exists
(?HEAR)
(
and
(
instance
?HEAR
Hearing
)
(
during
(
WhenFn
?HEAR) ?T)
(
experiencer
?HEAR ?H))))
Likely
))
Anatomy.kif 1645-1656
ImpairedBodyPartFn
Eardrum
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
EAR
entit�
EAR est une
instance
de
entendre
temps
d'existence de
entit�
EAR prend place
pendant
position temporel
entit�
exp
�rimente
entit�
EAR a la
force
modale
de
Likely
consequent
(=>
(
and
(
instance
?E
Electrocardiography
)
(
patient
?E ?H)
(
agent
?E ?D)
(
attribute
?D
MedicalDoctor
))
(
hasPurpose
?E
(
knows
?D
(
exists
(?T)
(
truth
(
attribute
?H
(
ImpairedBodyPartFn
Heart
)) ?T)))))
Medicine.kif 3449-3460
Processus
est une
instance
de
Electrocardiography
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
MedicalDoctor
est un
attribut
de
AutonomousAgent
processus
a pour
but
AutonomousAgent
conna
�t
entit�
truth
ImpairedBodyPartFn
Heart
est un
attribut
de
entit�
and
entit�
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
Objet
est une
instance
de
Electrocardiogram
EKGAbnormal
est un
attribut
de
objet
objet
inclut une
r
�f�rence �
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Heart
l'argument
ImpairedBodyPartFn
Heart
est un
attribut
de
objet
a la
force
modale
de
Likely
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
Objet
est une
instance
de
Electrocardiogram
EKGNormal
est un
attribut
de
objet
objet
inclut une
r
�f�rence �
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Heart
l'argument
ImpairedBodyPartFn
Heart
est un
attribut
de
objet
a la
force
modale
de
Likely
(=>
(
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
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
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
?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
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
Processus
est une
instance
de
AutoimmuneVasculitis
AutonomousAgent
exp
�rimente
processus
ImpairedBodyPartFn
BloodVessel
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
Processus
est une
instance
de
MyastheniaGravis
AutonomousAgent
exp
�rimente
processus
ImpairedBodyPartFn
NerveCell
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
Processus
est une
instance
de
SjogrensSyndrome
AutonomousAgent
exp
�rimente
processus
ImpairedBodyPartFn
SalivaryGland
est un
attribut
de
AutonomousAgent
ImpairedBodyPartFn
TearGland
est un
attribut
de
AutonomousAgent
(=>
(
attribute
?H
HeartDisease
)
(
or
(
attribute
?H
(
ImpairedBodyPartFn
Heart
))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
))))
Medicine.kif 5732-5736
HeartDisease
est un
attribut
de
objet
ImpairedBodyPartFn
Heart
est un
attribut
de
objet
ImpairedBodyPartFn
BloodVessel
est un
attribut
de
objet
(=>
(
holdsDuring
?T
(
attribute
?H
TraumaticBrainInjury
))
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
Medicine.kif 1294-1299
TraumaticBrainInjury
est un
attribut
de
entit�
pendant
position temporel
ImpairedBodyPartFn
Brain
est un
attribut
de
entit�
pendant
position temporel
(=>
(
visualAcuity
?H1 ?I1 ?I2)
(
exists
(?H2)
(
and
(
not
(
attribute
?H2
(
ImpairedBodyPartFn
Eye
)))
(
visualAcuity
?H2 ?I2 ?I2))))
Medicine.kif 1718-1724
visualAcuity
humain
,
nombre entier
and
nombre entier
humain
ImpairedBodyPartFn
Eye
est un
attribut
de
humain
visualAcuity
humain
,
nombre entier
and
nombre entier
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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