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
では %n
(
instance
ImpairedBodyPartFn
UnaryFunction
)
Merge.kif 18217-18217
ImpairedBodyPartFn
は
1変数関数
の
instance
では %n
(
range
ImpairedBodyPartFn
DiseaseOrSyndrome
)
Merge.kif 18219-18219
ImpairedBodyPartFn
の
range
は
病気または症候群
のインスタンス では %n
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
では %n は
時間位置
の
during
holds %n{ない}
クラス
I は
クラス
の
instance
では %n
クラス
I は
オブジェクト
の
part
では %n
クラス
I は
公式
の 目的 %n{ない}
ステートメント
公式
には
Likely
の
modal
force
が ある
(=>
(
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
では %n
エンティティー
は
工程
の
patient
では %n
ImpairedBodyPartFn
Brain
は
エンティティー
の
attribute
では %n は
工程
の すぐ
after
の
during
holds %n{ない}
ステートメント
Concussion
は
エンティティー
の
attribute
では %n は
工程
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
では %n
オブジェクト
は
工程
の
patient
では %n
InjuryCausedFn
工程
は
オブジェクト
の
attribute
では %n
ImpairedBodyPartFn
Airway
は
オブジェクト
の
attribute
では %n
ステートメント
工程
は
燃焼
の
subclass
では %n
エンティティー
エンティティー
は
けが
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
Face
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
InfectiousDisease
)
(
attribute
?H
Diabetes
)
(
attribute
?H
(
ImpairedBodyPartFn
Foot
))))
(
holdsDuring
?T
(
diseaseMedicine
InfectiousDisease
Ertapenem
Injecting
)))
Medicine.kif 1374-1381
InfectiousDisease
は
エンティティー
の
attribute
では %n
Diabetes
は
エンティティー
の
attribute
では %n
ImpairedBodyPartFn
Foot
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
diseaseMedicine
InfectiousDisease
,
Ertapenem
and
Injecting
は
時間位置
の
during
holds %n{ない}
(=>
(
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
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
EAR
エンティティー
EAR は
聴覚
の
instance
では %n
エンティティー
EAR の
time
の existence は
時間位置
の
during
に takes %n{ない}
エンティティー
が
エンティティー
EAR を
experience
s %n{ない} には
Likely
の
modal
force
が ある
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
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
MedicalDoctor
は
AutonomousAgent
の
attribute
では %n
工程
は
AutonomousAgent
は
エンティティー
ImpairedBodyPartFn
Heart
は
エンティティー
の
attribute
では %n
is
エンティティー
%n を
know
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
EKGAbnormal
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
への
reference
を includes %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Heart
の
instance
では %n
ステートメント
ImpairedBodyPartFn
Heart
は
オブジェクト
の
attribute
では %n には
Likely
の
modal
force
が ある
(=>
(
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
では %n
EKGNormal
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
への
reference
を includes %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Heart
の
instance
では %n
ステートメント
ImpairedBodyPartFn
Heart
は
オブジェクト
の
attribute
では には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
工程
は
AddisonsDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
AdrenalGland
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
工程
は
GravesDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
ThyroidGland
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
工程
は
HashimotosThyroiditis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
ThyroidGland
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
工程
は
InflammatoryBowelDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
GastroIntestinalTract
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
工程
は
UlcerativeColitis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
LargeIntestine
は
AutonomousAgent
の
attribute
では %n
ImpairedBodyPartFn
Rectum
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
工程
は
MultipleSclerosis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
NervousSystem
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
工程
は
AutoimmuneVasculitis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
BloodVessel
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
工程
は
MyastheniaGravis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
NerveCell
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
工程
は
SjogrensSyndrome
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
SalivaryGland
は
AutonomousAgent
の
attribute
では %n
ImpairedBodyPartFn
TearGland
は
AutonomousAgent
の
attribute
では %n
(=>
(
attribute
?H
HeartDisease
)
(
or
(
attribute
?H
(
ImpairedBodyPartFn
Heart
))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
))))
Medicine.kif 5732-5736
HeartDisease
は
オブジェクト
の
attribute
では %n
ImpairedBodyPartFn
Heart
は
オブジェクト
の
attribute
では %n
ImpairedBodyPartFn
BloodVessel
は
オブジェクト
の
attribute
では %n
(=>
(
holdsDuring
?T
(
attribute
?H
TraumaticBrainInjury
))
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
Medicine.kif 1294-1299
TraumaticBrainInjury
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
ImpairedBodyPartFn
Brain
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
visualAcuity
?H1 ?I1 ?I2)
(
exists
(?H2)
(
and
(
not
(
attribute
?H2
(
ImpairedBodyPartFn
Eye
)))
(
visualAcuity
?H2 ?I2 ?I2))))
Medicine.kif 1718-1724
visualAcuity
人[人間]
,
整数
and
整数
人[人間]
ImpairedBodyPartFn
Eye
は
人[人間]
の
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