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 18299-18302
(
domainSubclass
ImpairedBodyPartFn
1
BodyPart
)
Merge.kif 18297-18297
Il numero 1 argomento
ImpairedBodyPartFn
è una
sottoclasse
di
ParteDelCorpo
(
instance
ImpairedBodyPartFn
UnaryFunction
)
Merge.kif 18296-18296
ImpairedBodyPartFn
è un'
istanza
di
FunzioneUnaria
(
range
ImpairedBodyPartFn
DiseaseOrSyndrome
)
Merge.kif 18298-18298
rango
di
ImpairedBodyPartFn
è un'istanza di
MalattiaOSindrome
appearance as argument number 2
(
termFormat
EnglishLanguage
ImpairedBodyPartFn
"impaired body part fn")
domainEnglishFormat.kif 65023-65023
antecedent
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18304-18314
attribute
Oggetto
and
ImpairedBodyPartFn
Classe
vales
durante
PosizioneTemporale
Classe
I è un'
istanza
di
Classe
Classe
I è una
parte
di
Oggetto
Classe
I ha
scopo
Formula
l'affermazione
Formula
ha il modello di forza di
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
Processo
è un'
istanza
di
Impatto
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
ImpairedBodyPartFn
Brain
vales
durante
immediatamente
dopo
Processo
l'affermazione
attribute
Entit�
and
Concussion
vales
durante
immediatamente
dopo
Processo
ha il modello di forza di
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
Processo
è un'
istanza
di
CompetizioneViolenta
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
InjuryCausedFn
Processo
attribute
Oggetto
and
ImpairedBodyPartFn
Airway
l'affermazione
Processo
è una
sottoclasse
di
Combustione
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
è
localizzato
in
Entit�
Entit�
è un'
istanza
di
Face
Oggetto
è un
paziente
di
Entit�
ha il modello di forza di
Likely
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
InfectiousDisease
)
(
attribute
?H
Diabetes
)
(
attribute
?H
(
ImpairedBodyPartFn
Foot
))))
(
holdsDuring
?T
(
diseaseMedicine
InfectiousDisease
Ertapenem
Injecting
)))
Medicine.kif 1374-1381
attribute
Entit�
and
InfectiousDisease
attribute
Entit�
and
Diabetes
attribute
Entit�
and
ImpairedBodyPartFn
Foot
vales
durante
PosizioneTemporale
diseaseMedicine
InfectiousDisease
,
Ertapenem
and
Injecting
vales
durante
PosizioneTemporale
(=>
(
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
attribute
Entit�
and
ImpairedBodyPartFn
Eardrum
vales
durante
PosizioneTemporale
l'affermazione
Entit�
EAR
Entit�
EAR è un'
istanza
di
Udito
il
tempo
di esistenza di
Entit�
EAR has luogo
durante
PosizioneTemporale
Entit�
esperisce
s
Entit�
EAR ha il modello di forza di
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
Processo
è un'
istanza
di
Electrocardiography
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
attribute
AutonomousAgent
and
MedicalDoctor
Processo
ha
scopo
AutonomousAgent
conosce
s
Entit�
truth
attribute
Entit�
and
ImpairedBodyPartFn
Heart
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
Oggetto
è un'
istanza
di
Electrocardiogram
attribute
Oggetto
and
EKGAbnormal
Oggetto
include un
riferimento
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Heart
l'affermazione
attribute
Oggetto
and
ImpairedBodyPartFn
Heart
ha il modello di forza di
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
Oggetto
è un'
istanza
di
Electrocardiogram
attribute
Oggetto
and
EKGNormal
Oggetto
include un
riferimento
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Heart
l'affermazione
attribute
Oggetto
and
ImpairedBodyPartFn
Heart
ha il modello di forza di
Likely
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
Processo
è un'
istanza
di
AddisonsDisease
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
AdrenalGland
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
Processo
è un'
istanza
di
GravesDisease
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
ThyroidGland
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
Processo
è un'
istanza
di
HashimotosThyroiditis
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
ThyroidGland
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
Processo
è un'
istanza
di
InflammatoryBowelDisease
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
GastroIntestinalTract
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
Processo
è un'
istanza
di
UlcerativeColitis
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
LargeIntestine
attribute
AutonomousAgent
and
ImpairedBodyPartFn
Rectum
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
Processo
è un'
istanza
di
MultipleSclerosis
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
NervousSystem
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
Processo
è un'
istanza
di
AutoimmuneVasculitis
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
BloodVessel
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
Processo
è un'
istanza
di
MyastheniaGravis
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
NerveCell
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
Processo
è un'
istanza
di
SjogrensSyndrome
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
SalivaryGland
attribute
AutonomousAgent
and
ImpairedBodyPartFn
TearGland
(=>
(
attribute
?H
HeartDisease
)
(
or
(
attribute
?H
(
ImpairedBodyPartFn
Heart
))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
))))
Medicine.kif 5732-5736
attribute
Oggetto
and
HeartDisease
attribute
Oggetto
and
ImpairedBodyPartFn
Heart
attribute
Oggetto
and
ImpairedBodyPartFn
BloodVessel
(=>
(
holdsDuring
?T
(
attribute
?H
TraumaticBrainInjury
))
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
Medicine.kif 1294-1299
attribute
Entit�
and
TraumaticBrainInjury
vales
durante
PosizioneTemporale
attribute
Entit�
and
ImpairedBodyPartFn
Brain
vales
durante
PosizioneTemporale
(=>
(
visualAcuity
?H1 ?I1 ?I2)
(
exists
(?H2)
(
and
(
not
(
attribute
?H2
(
ImpairedBodyPartFn
Eye
)))
(
visualAcuity
?H2 ?I2 ?I2))))
Medicine.kif 1718-1724
visualAcuity
Umano
,
NumeroIntero
and
NumeroIntero
Umano
attribute
Umano
and
ImpairedBodyPartFn
Eye
visualAcuity
Umano
,
NumeroIntero
and
NumeroIntero
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