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
The number 1 argument of
impaired body part fn
is a
subclass
of
body part
(
instance
ImpairedBodyPartFn
UnaryFunction
)
Merge.kif 18296-18296
Impaired body part fn
is an
instance
of
unary function
(
range
ImpairedBodyPartFn
DiseaseOrSyndrome
)
Merge.kif 18298-18298
The
range
of
impaired body part fn
is an instance of
disease or syndrome
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
If
impaired body part fn
a class
is an
attribute
of
an object
holds
during
a time position
and
the class
I is an
instance
of
the class
and
the class
I is a
part
of
the object
and
the class
I has the purpose
a formula
,
then the statement
the formula
has the
modal
force
of
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
If
a process
is an
instance
of
impacting
and
an entity
is a
patient
of
the process
and
impaired body part fn
brain
is an
attribute
of
the entity
holds
during
immediately
after
the process
,
then the statement
mild traumatic brain injury
is an
attribute
of
the entity
holds
during
immediately
after
the process
has the
modal
force
of
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
If
a process
is an
instance
of
violent contest
and
an object
is a
patient
of
the process
and an
injury
caused by
another kind of process
is an
attribute
of
the object
and
impaired body part fn
airway
is an
attribute
of
the object
,
then the statement
another kind of process
is a
subclass
of
burning
or there exists
an entity
such that
another entity
is an
instance
of
injuring
and
the other entity
is
located
at
a third entity
and
the third entity
is an
instance
of
face
and
the object
is a
patient
of
the other entity
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
InfectiousDisease
)
(
attribute
?H
Diabetes
)
(
attribute
?H
(
ImpairedBodyPartFn
Foot
))))
(
holdsDuring
?T
(
diseaseMedicine
InfectiousDisease
Ertapenem
Injecting
)))
Medicine.kif 1374-1381
If
infectious disease
is an
attribute
of
an entity
and
diabetes mellitus
is an
attribute
of
the entity
and
impaired body part fn
foot
is an
attribute
of
the entity
holds
during
a time position
,
then
infectious disease
is
disease
treatment
ertapenem
for
injecting
holds
during
the time position
(=>
(
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
If
impaired body part fn
myringa
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there doesn't exist
the entity
EAR such that
the entity
EAR is an
instance
of
hearing
and the
time
of existence of
the entity
EAR takes place
during
the time position
and
the entity
experience
s
the entity
EAR has the
modal
force
of
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
If
a process
is an
instance
of
electrocardiography
and
an entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
medical doctor
is an
attribute
of
the agent
,
then
the process
has the purpose
the agent
know
s there exists
another entity
such that
impaired body part fn
heart
is an
attribute
of
the entity
is
the other entity
(=>
(
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
If
an object
is an
instance
of
electrocardiogram
and
abnormal EKG
is an
attribute
of
the object
and
the object
includes a
reference
to
another object
and
the other object
is a
part
of
a third object
and
the other object
is an
instance
of
heart
,
then the statement
impaired body part fn
heart
is an
attribute
of
the third object
has the
modal
force
of
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
If
an object
is an
instance
of
electrocardiogram
and
normal EKG
is an
attribute
of
the object
and
the object
includes a
reference
to
another object
and
the other object
is a
part
of
a third object
and
the other object
is an
instance
of
heart
,
then the statement
impaired body part fn
heart
is not an
attribute
of
the third object
has the
modal
force
of
likely
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
If
a process
is an
instance
of
Addison's disease
and
an agent
experience
s
the process
,
then
impaired body part fn
adrenal gland
is an
attribute
of
the agent
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
If
a process
is an
instance
of
Graves' disease
and
an agent
experience
s
the process
,
then
impaired body part fn
thyroid gland
is an
attribute
of
the agent
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
If
a process
is an
instance
of
Hashimoto's thyroiditis
and
an agent
experience
s
the process
,
then
impaired body part fn
thyroid gland
is an
attribute
of
the agent
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
If
a process
is an
instance
of
inflammatory bowel disease
and
an agent
experience
s
the process
,
then
impaired body part fn
GI
is an
attribute
of
the agent
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
If
a process
is an
instance
of
ulcerative colitis
and
an agent
experience
s
the process
,
then
impaired body part fn
large intestine
is an
attribute
of
the agent
or
impaired body part fn
rectum
is an
attribute
of
the agent
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
If
a process
is an
instance
of
MS
and
an agent
experience
s
the process
,
then
impaired body part fn
nervous system
is an
attribute
of
the agent
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
If
a process
is an
instance
of
autoimmune vasculitis
and
an agent
experience
s
the process
,
then
impaired body part fn
blood vessel
is an
attribute
of
the agent
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
If
a process
is an
instance
of
myasthenia gravis
and
an agent
experience
s
the process
,
then
impaired body part fn
nerve cell
is an
attribute
of
the agent
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
If
a process
is an
instance
of
Sjogrens syndrome
and
an agent
experience
s
the process
,
then
impaired body part fn
salivary gland
is an
attribute
of
the agent
or
impaired body part fn
lacrymal gland
is an
attribute
of
the agent
(=>
(
attribute
?H
HeartDisease
)
(
or
(
attribute
?H
(
ImpairedBodyPartFn
Heart
))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
))))
Medicine.kif 5732-5736
If
cardiovascular disease
is an
attribute
of
an object
,
then
impaired body part fn
heart
is an
attribute
of
the object
or
impaired body part fn
blood vessel
is an
attribute
of
the object
(=>
(
holdsDuring
?T
(
attribute
?H
TraumaticBrainInjury
))
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
Medicine.kif 1294-1299
If
TBI
is an
attribute
of
an entity
holds
during
a time position
,
then
impaired body part fn
brain
is an
attribute
of
the entity
holds
during
the time position
(=>
(
visualAcuity
?H1 ?I1 ?I2)
(
exists
(?H2)
(
and
(
not
(
attribute
?H2
(
ImpairedBodyPartFn
Eye
)))
(
visualAcuity
?H2 ?I2 ?I2))))
Medicine.kif 1718-1724
If
a human
has
an integer
/
another integer
eyesight,
then there exists
another human
such that
impaired body part fn
eye
is not an
attribute
of
the other human
and
the other human
has
the other integer
/
the other integer
eyesight
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
