Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ImpairmentFn
Sigma KEE - ImpairmentFn
ImpairmentFn
appearance as argument number 1
(
documentation
ImpairmentFn
EnglishLanguage
"A faulty or compromised
Process
of the normal body.")
Merge.kif 13326-13327
(
domainSubclass
ImpairmentFn
1
PhysiologicProcess
)
Merge.kif 13328-13328
(
instance
ImpairmentFn
UnaryFunction
)
Merge.kif 13325-13325
(
rangeSubclass
ImpairmentFn
BiologicalProcess
)
Merge.kif 13329-13329
appearance as argument number 2
(
format
EnglishLanguage
ImpairmentFn
"impairment in %1")
Merge.kif 13331-13331
(
termFormat
EnglishLanguage
ImpairmentFn
"impairment")
Merge.kif 13330-13330
antecedent
(=>
(
and
(
instance
?SI
(
ImpairmentFn
?S))
(
instrument
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
instrument
?A2)
(
not
(
capability
?S
instrument
?A)))))
Merge.kif 13333-13343
consequent
(=>
(
attribute
?H
ChronicObstructivePulmonaryDisease
)
(
instance
?H
(
ImpairmentFn
Breathing
)))
Mid-level-ontology.kif 5946-5949
statement
(
subclass
Choking
(
ImpairmentFn
Breathing
))
Mid-level-ontology.kif 11595-11595
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