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
域子類
ImpairedBodyPartFn
, 1 and
BodyPart
(
instance
ImpairedBodyPartFn
UnaryFunction
)
Merge.kif 18217-18217
例
ImpairedBodyPartFn
and
UnaryFunction
(
range
ImpairedBodyPartFn
DiseaseOrSyndrome
)
Merge.kif 18219-18219
範圍
ImpairedBodyPartFn
and
DiseaseOrSyndrome
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
持有期間
TimePosition
and
attribute
Object
and
ImpairedBodyPartFn
Class
例
Class
I and
Class
部分
Class
I and
Object
有目的
Class
I and
Formula
模態屬性
Formula
and
容易
(=>
(
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
例
Process
and
Impacting
患者
Process
and
Entity
持有期間
眼前的未來
Process
and
attribute
Entity
and
ImpairedBodyPartFn
腦
模態屬性
持有期間
眼前的未來
Process
and
attribute
Entity
and
Concussion
and
容易
(=>
(
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
例
Process
and
ViolentContest
患者
Process
and
Object
attribute
Object
and
InjuryCausedFn
Process
attribute
Object
and
ImpairedBodyPartFn
空中航線
模態屬性
子類
Process
and
Combustion
entity
例
entity
and
Injuring
位於
entity
and
entity
例
entity
and
面對
患者
entity
and
Object
and
容易
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
InfectiousDisease
)
(
attribute
?H
Diabetes
)
(
attribute
?H
(
ImpairedBodyPartFn
Foot
))))
(
holdsDuring
?T
(
diseaseMedicine
InfectiousDisease
Ertapenem
Injecting
)))
Medicine.kif 1374-1381
持有期間
TimePosition
and
attribute
entity
and
傳染病
attribute
entity
and
Diabetes
attribute
entity
and
ImpairedBodyPartFn
足
持有期間
TimePosition
and
傳染病
是 對於
注射
的
disease
治癒
Ertapenem
(=>
(
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
持有期間
TimePosition
and
attribute
entity
and
ImpairedBodyPartFn
Eardrum
模態屬性
entity
EAR
例
entity
EAR and
Hearing
期間
何時
entity
EAR and
TimePosition
體驗者
entity
EAR and
entity
and
容易
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
例
Process
and
Electrocardiography
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
醫生
有目的
Process
and
知道
AutonomousAgent
and
entity
真相
attribute
Entity
and
ImpairedBodyPartFn
心
and
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
例
Object
and
Electrocardiogram
attribute
Object
and
EKGAbnormal
參照
Object
and
Object
部分
Object
and
Object
例
Object
and
心
模態屬性
attribute
Object
and
ImpairedBodyPartFn
心
and
容易
(=>
(
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
例
Object
and
Electrocardiogram
attribute
Object
and
EKGNormal
參照
Object
and
Object
部分
Object
and
Object
例
Object
and
心
模態屬性
attribute
Object
and
ImpairedBodyPartFn
心
and
容易
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
例
Process
and
AddisonsDisease
體驗者
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
ImpairedBodyPartFn
AdrenalGland
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
例
Process
and
GravesDisease
體驗者
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
ImpairedBodyPartFn
甲狀腺
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
例
Process
and
HashimotosThyroiditis
體驗者
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
ImpairedBodyPartFn
甲狀腺
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
例
Process
and
InflammatoryBowelDisease
體驗者
Process
and
AutonomousAgent
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
例
Process
and
UlcerativeColitis
體驗者
Process
and
AutonomousAgent
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
例
Process
and
MultipleSclerosis
體驗者
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
ImpairedBodyPartFn
神經系統
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
例
Process
and
AutoimmuneVasculitis
體驗者
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
ImpairedBodyPartFn
血管
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
例
Process
and
MyastheniaGravis
體驗者
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
ImpairedBodyPartFn
神經細胞
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
例
Process
and
SjogrensSyndrome
體驗者
Process
and
AutonomousAgent
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
Object
and
HeartDisease
attribute
Object
and
ImpairedBodyPartFn
心
attribute
Object
and
ImpairedBodyPartFn
血管
(=>
(
holdsDuring
?T
(
attribute
?H
TraumaticBrainInjury
))
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
Medicine.kif 1294-1299
持有期間
TimePosition
and
attribute
entity
and
TraumaticBrainInjury
持有期間
TimePosition
and
attribute
entity
and
ImpairedBodyPartFn
腦
(=>
(
visualAcuity
?H1 ?I1 ?I2)
(
exists
(?H2)
(
and
(
not
(
attribute
?H2
(
ImpairedBodyPartFn
Eye
)))
(
visualAcuity
?H2 ?I2 ?I2))))
Medicine.kif 1718-1724
visualAcuity
Human
,
Integer
and
Integer
Human
attribute
Human
and
ImpairedBodyPartFn
眼睛
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