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
InflammationFn
Sigma KEE - InflammationFn
InflammationFn
appearance as argument number 1
(
documentation
InflammationFn
EnglishLanguage
"
Inflammation
of a specific
BodyPart
.")
Mid-level-ontology.kif 12411-12412
(
domain
InflammationFn
1
BodyPart
)
Mid-level-ontology.kif 12409-12409
InflammationFn
的 1 数量 是
身体部位
的
instance
(
instance
InflammationFn
UnaryFunction
)
Mid-level-ontology.kif 12408-12408
InflammationFn
是
一元函数
的
instance
(
range
InflammationFn
Inflammation
)
Mid-level-ontology.kif 12410-12410
InflammationFn
的
range
是
Inflammation
的实例
appearance as argument number 2
(
format
EnglishLanguage
InflammationFn
"inflammation of %1")
Mid-level-ontology.kif 12414-12414
(
termFormat
EnglishLanguage
InflammationFn
"inflammation")
Mid-level-ontology.kif 12413-12413
consequent
(=>
(
attribute
?H
Bronchitis
)
(
exists
(?I)
(
and
(
instance
?I
(
InflammationFn
BronchialDuct
))
(
experiencer
?I ?H))))
Mid-level-ontology.kif 6021-6027
如果
Bronchitis
是
施事体
的
attribute
,
然后 有存在
过程
这样
那个 过程
是
InflammationFn
支气管
的
instance
和
那个 施事体
经历了
那个 过程
(=>
(
attribute
?H
Eczema
)
(
exists
(?SI)
(
and
(
instance
?SI
(
InflammationFn
Skin
))
(
experiencer
?SR ?H))))
Medicine.kif 4389-4395
如果
Eczema
是
施事体
的
attribute
,
然后 有存在
实体
这样
那个 实体
是
InflammationFn
皮肤
的
instance
和
那个 施事体
经历了
过程
(=>
(
attribute
?H
Pneumonia
)
(
exists
(?I)
(
and
(
instance
?I
(
InflammationFn
Lung
))
(
experiencer
?I ?H))))
Mid-level-ontology.kif 6207-6213
如果
Pneumonia
是
施事体
的
attribute
,
然后 有存在
过程
这样
那个 过程
是
InflammationFn
肺
的
instance
和
那个 施事体
经历了
那个 过程
statement
(
equal
Pericarditis
(
InflammationFn
Pericardium
))
Mid-level-ontology.kif 11411-11411
Pericarditis
equal
InflammationFn
Pericardium
(
subAttribute
AllergicRhinitis
(
InflammationFn
Nose
))
Medicine.kif 5227-5227
AllergicRhinitis
是
InflammationFn
鼻子
的
subAttribute
(
subclass
NeuroInflammation
(
InflammationFn
NervousSystem
))
Medicine.kif 2978-2978
NeuroInflammation
是
InflammationFn
神经系统
的
subclass
(
subclass
Pyelonephritis
(
InflammationFn
Kidney
))
Medicine.kif 5047-5047
Pyelonephritis
是
InflammationFn
肾
的
subclass
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