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 and
BodyPart
(
instance
InflammationFn
UnaryFunction
)
Mid-level-ontology.kif 12408-12408
例
InflammationFn
and
UnaryFunction
(
range
InflammationFn
Inflammation
)
Mid-level-ontology.kif 12410-12410
範圍
InflammationFn
and
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
attribute
AutonomousAgent
and
Bronchitis
Process
例
Process
and
InflammationFn
支氣管
體驗者
Process
and
AutonomousAgent
(=>
(
attribute
?H
Eczema
)
(
exists
(?SI)
(
and
(
instance
?SI
(
InflammationFn
Skin
))
(
experiencer
?SR ?H))))
Medicine.kif 4389-4395
attribute
AutonomousAgent
and
Eczema
Entity
例
Entity
and
InflammationFn
皮膚
體驗者
Process
and
AutonomousAgent
(=>
(
attribute
?H
Pneumonia
)
(
exists
(?I)
(
and
(
instance
?I
(
InflammationFn
Lung
))
(
experiencer
?I ?H))))
Mid-level-ontology.kif 6207-6213
attribute
AutonomousAgent
and
Pneumonia
Process
例
Process
and
InflammationFn
肺
體驗者
Process
and
AutonomousAgent
statement
(
equal
Pericarditis
(
InflammationFn
Pericardium
))
Mid-level-ontology.kif 11411-11411
等於
Pericarditis
and
InflammationFn
Pericardium
(
subAttribute
AllergicRhinitis
(
InflammationFn
Nose
))
Medicine.kif 5227-5227
子屬性
AllergicRhinitis
and
InflammationFn
鼻子
(
subclass
NeuroInflammation
(
InflammationFn
NervousSystem
))
Medicine.kif 2978-2978
子類
NeuroInflammation
and
InflammationFn
神經系統
(
subclass
Pyelonephritis
(
InflammationFn
Kidney
))
Medicine.kif 5047-5047
子類
Pyelonephritis
and
InflammationFn
腎
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