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 数量 是
身体部位
的
subclass
(
instance
ImpairedBodyPartFn
UnaryFunction
)
Merge.kif 18217-18217
ImpairedBodyPartFn
是
一元函数
的
instance
(
range
ImpairedBodyPartFn
DiseaseOrSyndrome
)
Merge.kif 18219-18219
ImpairedBodyPartFn
的
range
是
疾病或综合症
的实例
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
类
是
客体
的
attribute
在
时间位置
holdsDuring
和
那个 类
I 是
那个 类
的
instance
和
那个 类
I 是
那个 客体
的
part
和
那个 类
I 的 目的 是
公式
,
然后
那个 公式
的声明 has
容易
的语气
(=>
(
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
如果
过程
是
碰撞
的
instance
和
实体
是
那个 过程
的
patient
和
ImpairedBodyPartFn
脑
是
那个 实体
的
attribute
在 紧接
那个 过程
after
holdsDuring
,
然后
Concussion
是
那个 实体
的
attribute
在 紧接
那个 过程
after
holdsDuring
的声明 has
容易
的语气
(=>
(
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
如果
过程
是
暴力比赛
的
instance
和
客体
是
那个 过程
的
patient
和
InjuryCausedFn
另一个 有点 过程
是
那个 客体
的
attribute
和
ImpairedBodyPartFn
空中航线
是
那个 客体
的
attribute
,
然后
另一个 有点 过程
是
燃烧
的
subclass
或 有存在
实体
这样
另一个 实体
是
受伤
的
instance
和
那个 另外 实体
是
located
在
第三 实体
和
那个 第三 实体
是
面对
的
instance
和
那个 客体
是
那个 另外 实体
的
patient
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
InfectiousDisease
)
(
attribute
?H
Diabetes
)
(
attribute
?H
(
ImpairedBodyPartFn
Foot
))))
(
holdsDuring
?T
(
diseaseMedicine
InfectiousDisease
Ertapenem
Injecting
)))
Medicine.kif 1374-1381
如果
传染病
是
实体
的
attribute
和
Diabetes
是
那个 实体
的
attribute
和
ImpairedBodyPartFn
足
是
那个 实体
的
attribute
在
时间位置
holdsDuring
,
然后
传染病
是 对于
注射
的
dis
ease 治愈
Ertapenem
在
那个 时间位置
holdsDuring
(=>
(
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
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 不存在
那个 实体
EAR 这样
那个 实体
EAR 是
听
的
instance
和
那个 实体
EAR 出现 的
time
在
那个 时间位置
时段内发生 和
那个 实体
经历了
那个 实体
EAR 的声明 has
容易
的语气
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
如果
过程
是
Electrocardiography
的
instance
和
实体
是
那个 过程
的
patient
和
施事体
是
那个 过程
的
agent
和
医生
是
那个 施事体
的
attribute
,
然后
那个 过程
的 目的 是
那个 施事体
knows
有存在
另一个 实体
这样
ImpairedBodyPartFn
心
是
那个 实体
的
attribute
是
那个 另外 实体
(=>
(
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
如果
客体
是
Electrocardiogram
的
instance
和
EKGAbnormal
是
那个 客体
的
attribute
和
那个 客体
提到
另一个 客体
和
那个 另外 客体
是
第三 客体
的
part
和
那个 另外 客体
是
心
的
instance
,
然后
ImpairedBodyPartFn
心
是
那个 第三 客体
的
attribute
的声明 has
容易
的语气
(=>
(
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
如果
客体
是
Electrocardiogram
的
instance
和
EKGNormal
是
那个 客体
的
attribute
和
那个 客体
提到
另一个 客体
和
那个 另外 客体
是
第三 客体
的
part
和
那个 另外 客体
是
心
的
instance
,
然后
ImpairedBodyPartFn
心
不 是
那个 第三 客体
的
attribute
的声明 has
容易
的语气
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
如果
过程
是
AddisonsDisease
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
AdrenalGland
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
如果
过程
是
GravesDisease
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
甲状腺
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
如果
过程
是
HashimotosThyroiditis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
甲状腺
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
如果
过程
是
InflammatoryBowelDisease
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
GastroIntestinalTract
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
如果
过程
是
UlcerativeColitis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
LargeIntestine
是
那个 施事体
的
attribute
或
ImpairedBodyPartFn
Rectum
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
如果
过程
是
MultipleSclerosis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
神经系统
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
如果
过程
是
AutoimmuneVasculitis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
血管
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
如果
过程
是
MyastheniaGravis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
神经细胞
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
如果
过程
是
SjogrensSyndrome
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
SalivaryGland
是
那个 施事体
的
attribute
或
ImpairedBodyPartFn
TearGland
是
那个 施事体
的
attribute
(=>
(
attribute
?H
HeartDisease
)
(
or
(
attribute
?H
(
ImpairedBodyPartFn
Heart
))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
))))
Medicine.kif 5732-5736
如果
HeartDisease
是
客体
的
attribute
,
然后
ImpairedBodyPartFn
心
是
那个 客体
的
attribute
或
ImpairedBodyPartFn
血管
是
那个 客体
的
attribute
(=>
(
holdsDuring
?T
(
attribute
?H
TraumaticBrainInjury
))
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
Medicine.kif 1294-1299
如果
TraumaticBrainInjury
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后
ImpairedBodyPartFn
脑
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
visualAcuity
?H1 ?I1 ?I2)
(
exists
(?H2)
(
and
(
not
(
attribute
?H2
(
ImpairedBodyPartFn
Eye
)))
(
visualAcuity
?H2 ?I2 ?I2))))
Medicine.kif 1718-1724
如果
visualAcuity
人类
,
整数
and
另一个 整数
,
然后 有存在
另一个 人类
这样
ImpairedBodyPartFn
眼睛
不 是
那个 另外 人类
的
attribute
和
visualAcuity
那个 另外 人类
,
那个 另外 整数
and
那个 另外 整数
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