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
(
instance
InflammationFn
UnaryFunction
)
Mid-level-ontology.kif 12408-12408
(
range
InflammationFn
Inflammation
)
Mid-level-ontology.kif 12410-12410
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
?H
Eczema
)
(
exists
(?SI)
(
and
(
instance
?SI
(
InflammationFn
Skin
))
(
experiencer
?SR ?H))))
Medicine.kif 4389-4395
(=>
(
attribute
?H
Pneumonia
)
(
exists
(?I)
(
and
(
instance
?I
(
InflammationFn
Lung
))
(
experiencer
?I ?H))))
Mid-level-ontology.kif 6207-6213
statement
(
equal
Pericarditis
(
InflammationFn
Pericardium
))
Mid-level-ontology.kif 11411-11411
(
subAttribute
AllergicRhinitis
(
InflammationFn
Nose
))
Medicine.kif 5227-5227
(
subclass
NeuroInflammation
(
InflammationFn
NervousSystem
))
Medicine.kif 2978-2978
(
subclass
Pyelonephritis
(
InflammationFn
Kidney
))
Medicine.kif 5047-5047
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