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
Die Zahl 1 Argument von
ImpairedBodyPartFn
ist eine
teilkategorie
von
BodyPart
%n{nicht}
(
instance
ImpairedBodyPartFn
UnaryFunction
)
Merge.kif 18217-18217
ImpairedBodyPartFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
ImpairedBodyPartFn
DiseaseOrSyndrome
)
Merge.kif 18219-18219
bildbereich
von
ImpairedBodyPartFn
ist ein fall von
DiseaseOrSyndrome
{nicht}
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
Wenn
ImpairedBodyPartFn
Class
ist ein
attribut
von
Object
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} und
** Class
I ist ein
fall
von
** Class
%n{nicht} und
** Class
I ist ein
teil
von
** Object
%n{nicht} und
** Class
I hat Zweck von
Formula
%n{nicht},
dann die Aussage
** Formula
hat die modale Kraft von
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
Wenn
Process
ist ein
fall
von
Impacting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
ImpairedBodyPartFn
Brain
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
** Process
%n{nicht},
dann die Aussage
Concussion
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
** Process
%n{nicht} hat die modale Kraft von
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
Wenn
Process
ist ein
fall
von
ViolentContest
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht} und
InjuryCausedFn
** ** Process
ist ein
attribut
von
** Object
%n{nicht} und
ImpairedBodyPartFn
Airway
ist ein
attribut
von
** Object
%n{nicht},
dann die Aussage
** ** Process
ist eine
teilkategorie
von
Combustion
oder es gibt
entity
um
** entity
ist ein
fall
von
Injuring
%n{nicht} und
** ** entity
befindet
sich an %n{nicht} und
** entity
ist ein
fall
von
Face
%n{nicht} und
** Object
ist ein
patient
von
** ** entity
%n{nicht} hat die modale Kraft von
Likely
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
InfectiousDisease
)
(
attribute
?H
Diabetes
)
(
attribute
?H
(
ImpairedBodyPartFn
Foot
))))
(
holdsDuring
?T
(
diseaseMedicine
InfectiousDisease
Ertapenem
Injecting
)))
Medicine.kif 1374-1381
Wenn
InfectiousDisease
ist ein
attribut
von
entity
%n{nicht} und
Diabetes
ist ein
attribut
von
** entity
%n{nicht} und
ImpairedBodyPartFn
Foot
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
diseaseMedicine
InfectiousDisease
,
Ertapenem
and
Injecting
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
ImpairedBodyPartFn
Eardrum
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage es gibt nicht
** entity
EAR um
** entity
EAR ist ein
fall
von
Hearing
%n{nicht} und die
zeit
des Bestehens von
** entity
EAR geschieht
waehrend
** TimePosition
%n{nicht} und
** entity
erfaehrt
** entity
EAR %n{nicht} hat die modale Kraft von
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
Wenn
Process
ist ein
fall
von
Electrocardiography
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
MedicalDoctor
ist ein
attribut
von
** AutonomousAgent
%n{nicht},
dann
** Process
hat Zweck von
** AutonomousAgent
kennt
es gibt
** entity
um
truth
ImpairedBodyPartFn
Heart
ist ein
attribut
von
** Entity
%n{nicht} and
** ** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Electrocardiogram
%n{nicht} und
EKGAbnormal
ist ein
attribut
von
** Object
%n{nicht} und
** Object
umfasst einen
hinweis
auf
** Object
und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Heart
%n{nicht},
dann die Aussage
ImpairedBodyPartFn
Heart
ist ein
attribut
von
** ** Object
%n{nicht} hat die modale Kraft von
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
Wenn
Object
ist ein
fall
von
Electrocardiogram
%n{nicht} und
EKGNormal
ist ein
attribut
von
** Object
%n{nicht} und
** Object
umfasst einen
hinweis
auf
** Object
und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Heart
%n{nicht},
dann die Aussage
ImpairedBodyPartFn
Heart
ist ein
attribut
von
** ** Object
nicht hat die modale Kraft von
Likely
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
Wenn
Process
ist ein
fall
von
AddisonsDisease
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
ImpairedBodyPartFn
AdrenalGland
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
Wenn
Process
ist ein
fall
von
GravesDisease
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
ImpairedBodyPartFn
ThyroidGland
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
Wenn
Process
ist ein
fall
von
HashimotosThyroiditis
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
ImpairedBodyPartFn
ThyroidGland
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
Wenn
Process
ist ein
fall
von
InflammatoryBowelDisease
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
ImpairedBodyPartFn
GastroIntestinalTract
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
Wenn
Process
ist ein
fall
von
UlcerativeColitis
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
ImpairedBodyPartFn
LargeIntestine
ist ein
attribut
von
** AutonomousAgent
%n{nicht} oder
ImpairedBodyPartFn
Rectum
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
Wenn
Process
ist ein
fall
von
MultipleSclerosis
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
ImpairedBodyPartFn
NervousSystem
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
Wenn
Process
ist ein
fall
von
AutoimmuneVasculitis
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
ImpairedBodyPartFn
BloodVessel
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
Wenn
Process
ist ein
fall
von
MyastheniaGravis
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
ImpairedBodyPartFn
NerveCell
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
Wenn
Process
ist ein
fall
von
SjogrensSyndrome
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
ImpairedBodyPartFn
SalivaryGland
ist ein
attribut
von
** AutonomousAgent
%n{nicht} oder
ImpairedBodyPartFn
TearGland
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
attribute
?H
HeartDisease
)
(
or
(
attribute
?H
(
ImpairedBodyPartFn
Heart
))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
))))
Medicine.kif 5732-5736
Wenn
HeartDisease
ist ein
attribut
von
Object
%n{nicht},
dann
ImpairedBodyPartFn
Heart
ist ein
attribut
von
** Object
%n{nicht} oder
ImpairedBodyPartFn
BloodVessel
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
holdsDuring
?T
(
attribute
?H
TraumaticBrainInjury
))
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
Medicine.kif 1294-1299
Wenn
TraumaticBrainInjury
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
ImpairedBodyPartFn
Brain
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
visualAcuity
?H1 ?I1 ?I2)
(
exists
(?H2)
(
and
(
not
(
attribute
?H2
(
ImpairedBodyPartFn
Eye
)))
(
visualAcuity
?H2 ?I2 ?I2))))
Medicine.kif 1718-1724
Wenn
visualAcuity
Human
,
Integer
and
** Integer
,
dann es gibt
** Human
um
ImpairedBodyPartFn
Eye
ist ein
attribut
von
** ** Human
nicht und
visualAcuity
** ** Human
,
** ** Integer
and
** ** Integer
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