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
ImpairmentFn
Sigma KEE - ImpairmentFn
ImpairmentFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13467-13468
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13469-13469
The number 1 argument of
impairment
is a
subclass
of
physiologic process
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13466-13466
Impairment
is an
instance
of
unary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13470-13470
The values returned by
impairment
are
subclasses
of
biological process
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13472-13472
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13471-13471
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13474-13484
If
a process
is an
instance
of impairment in
another kind of process
and
an object
is an
instrument
for
the process
,
then there exists
the object
2 such that
the object
2 is not
equal
to
the object
and
the object
2 is
capable
of doing
another kind of process
as a
instrument
and
the object
is not
capable
of doing
the other kind of process
as a
instrument
consequent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 767-785
If
a process
is an
instance
of
cricothyrotomy
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there exists
another entity
such that
the other entity
is an
instance
of impairment in
breathing
and
the entity
is a
patient
of
the other entity
holds
during
immediately
before
the
time
of existence of
the process
and there exists
the other entity
such that
the other entity
is an
instance
of impairment in
breathing
and
the entity
is a
patient
of
the other entity
doesn't hold
during
immediately
after
the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3417-3423
If
asthma
is an
attribute
of
an agent
,
then there exists
a process
such that
the process
is an
instance
of impairment in
breathing
and
the agent
experience
s
the process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 5986-5989
If
COPD
is an
attribute
of
an object
,
then
the object
is an
instance
of impairment in
breathing
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4230-4236
If
dysautonomia
is an
attribute
of
an agent
,
then there exists
a process
such that
the agent
experience
s
the process
and
the process
is an
instance
of impairment in
autonomic process
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2105-2114
If
insomnia
is an
attribute
of
an agent
holds
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of impairment in
sleeping
and
the agent
experience
s
the process
and
the time interval
is
equal
to the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 812-821
If
collapsed lung
is an
attribute
of
an entity
holds
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of impairment in
breathing
and
the entity
is a
patient
of
the process
and
the time interval
takes place
during
the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4853-4860
If
a physical
is an
instance
of
blood thinner
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
mammal
and impairment in
coagulation
experience
s
the entity
statement
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4258-4258
Impairment in
walking
is a
disease
symptom of
Parkinson's
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2975-2975
Brain fog
is a
subclass
of impairment in
Thinking
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2037-2037
Breathing difficulty
is a
subclass
of impairment in
breathing
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11748-11748
Choking
is a
subclass
of impairment in
breathing
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2116-2116
Gastro-intestinal issue
is a
subclass
of impairment in
digesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4325-4325
Palpitations
is a
subclass
of impairment in
heart beat
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2033-2033
Memory loss
is a
subclass
of impairment in
remembering
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2041-2041
Brain fog
is a
subclass
of impairment in
psychological process
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