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 18220-18223
(
domainSubclass
ImpairedBodyPartFn
1
BodyPart
)
Merge.kif 18218-18218
O argumento numero 1 de
ImpairedBodyPartFn
e' uma
sub
-classe de
Parte do Corpo
(
instance
ImpairedBodyPartFn
UnaryFunction
)
Merge.kif 18217-18217
ImpairedBodyPartFn
e' uma
instancia
de
funcao Unaria
(
range
ImpairedBodyPartFn
DiseaseOrSyndrome
)
Merge.kif 18219-18219
O
contra
-dominio de
ImpairedBodyPartFn
e' uma instancia de
Doenca ou Sindrome
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 18225-18235
ImpairedBodyPartFn
Classe
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Classe
I e' uma
instancia
de
Classe
Classe
I e' uma &parte de
Objeto
Classe
I tem por
fim
Formula
o argumento
Formula
tem a
forca
modal
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
Processo
e' uma
instancia
de
Impactar
Entidade
e' um
patient
de
Processo
ImpairedBodyPartFn
Brain
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Processo
o argumento
Concussion
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Processo
tem a
forca
modal
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
Processo
e' uma
instancia
de
ViolentContest
Objeto
e' um
patient
de
Processo
InjuryCausedFn
Processo
e' um
atributo
de
Objeto
ImpairedBodyPartFn
Airway
e' um
atributo
de
Objeto
o argumento
Processo
e' uma
sub
-classe de
Combustao
Entidade
Entidade
e' uma
instancia
de
Ferir
Entidade
e'
situado
em
Entidade
Entidade
e' uma
instancia
de
Face
Objeto
e' um
patient
de
Entidade
tem a
forca
modal
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
e' um
atributo
de
Entidade
Diabetes
e' um
atributo
de
Entidade
ImpairedBodyPartFn
Foot
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
diseaseMedicine
InfectiousDisease
,
Ertapenem
and
Injecting
vale
durante
Posicao Temporal
(=>
(
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
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
EAR
Entidade
EAR e' uma
instancia
de
Ouvir
tempo
de existencia de
Entidade
EAR acontece
durante
Posicao Temporal
Entidade
experimenta
Entidade
EAR tem a
forca
modal
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
Processo
e' uma
instancia
de
Electrocardiography
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
MedicalDoctor
e' um
atributo
de
AutonomousAgent
Processo
tem por
fim
AutonomousAgent
sabe
Entidade
truth
ImpairedBodyPartFn
Heart
e' um
atributo
de
Entidade
and
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
Electrocardiogram
EKGAbnormal
e' um
atributo
de
Objeto
Objeto
inclui uma
referencia
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Heart
o argumento
ImpairedBodyPartFn
Heart
e' um
atributo
de
Objeto
tem a
forca
modal
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
Objeto
e' uma
instancia
de
Electrocardiogram
EKGNormal
e' um
atributo
de
Objeto
Objeto
inclui uma
referencia
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Heart
o argumento
ImpairedBodyPartFn
Heart
e' um
atributo
de
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
Processo
e' uma
instancia
de
AddisonsDisease
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
AdrenalGland
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
Processo
e' uma
instancia
de
GravesDisease
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
ThyroidGland
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
Processo
e' uma
instancia
de
HashimotosThyroiditis
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
ThyroidGland
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
Processo
e' uma
instancia
de
InflammatoryBowelDisease
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
GastroIntestinalTract
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
Processo
e' uma
instancia
de
UlcerativeColitis
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
LargeIntestine
e' um
atributo
de
AutonomousAgent
ImpairedBodyPartFn
Rectum
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
Processo
e' uma
instancia
de
MultipleSclerosis
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
NervousSystem
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
Processo
e' uma
instancia
de
AutoimmuneVasculitis
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
BloodVessel
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
Processo
e' uma
instancia
de
MyastheniaGravis
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
NerveCell
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
Processo
e' uma
instancia
de
SjogrensSyndrome
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
SalivaryGland
e' um
atributo
de
AutonomousAgent
ImpairedBodyPartFn
TearGland
e' um
atributo
de
AutonomousAgent
(=>
(
attribute
?H
HeartDisease
)
(
or
(
attribute
?H
(
ImpairedBodyPartFn
Heart
))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
))))
Medicine.kif 5732-5736
HeartDisease
e' um
atributo
de
Objeto
ImpairedBodyPartFn
Heart
e' um
atributo
de
Objeto
ImpairedBodyPartFn
BloodVessel
e' um
atributo
de
Objeto
(=>
(
holdsDuring
?T
(
attribute
?H
TraumaticBrainInjury
))
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
Medicine.kif 1294-1299
TraumaticBrainInjury
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
ImpairedBodyPartFn
Brain
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
visualAcuity
?H1 ?I1 ?I2)
(
exists
(?H2)
(
and
(
not
(
attribute
?H2
(
ImpairedBodyPartFn
Eye
)))
(
visualAcuity
?H2 ?I2 ?I2))))
Medicine.kif 1718-1724
visualAcuity
Humano
,
Numero Inteiro
and
Numero Inteiro
Humano
ImpairedBodyPartFn
Eye
e' um
atributo
de
Humano
visualAcuity
Humano
,
Numero Inteiro
and
Numero Inteiro
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