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
systolicBloodPressure
Sigma KEE - systolicBloodPressure
systolicBloodPressure
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10430-10434
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10427-10427
The number 1 argument of
systolic blood pressure
is an
instance
of
mammal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10428-10428
The number 2 argument of
systolic blood pressure
is an
instance
of
physical quantity
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10426-10426
systolic blood pressure
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10435-10435
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10436-10436
antecedent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6505-6529
If
a process
is an
instance
of
checking vitals
and
a cognitive agent
is an
agent
of
the process
and
an object
is a
patient
of
the process
and
a heart
is an
instance
of
heart
and
the heart
is a
part
of
the object
and
a lung
is an
instance
of
lung
and
the lung
is a
part
of
the object
and the
systolic
blood pressure of
the object
is
an entity
and the
diastolic
blood pressure of
the object
is
another entity
and the
measure
of
the object
is
a third entity
fahrenheit degree
(s) holds
during
the
time
of existence of
the process
and
the heart
beats
at a rate of
an integer
beats per the
time
of existence of
the process
and
the lung
breathes
at a rate of
another integer
breaths per the
time
of existence of
the process
,
then
the cognitive agent
know
s the
systolic
blood pressure of
the object
is
the entity
and the
diastolic
blood pressure of
the object
is
the other entity
and the
measure
of
the object
is
the third entity
fahrenheit degree
(s) holds
during
the
time
of existence of
the process
and
the heart
beats
at a rate of
the integer
beats per the
time
of existence of
the process
and
the lung
breathes
at a rate of
the other integer
breaths per the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10468-10478
If the
systolic
blood pressure of
an entity
is
another entity
mm mercury
(s) and the
diastolic
blood pressure of
the entity
is
a third entity
mm mercury
(s) and 90.0 is
greater
than
the other entity
and 60.0 is
greater
than
the third entity
holds
during
a time position
,
then
hypotension
is an
attribute
of
the entity
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10450-10460
If the
systolic
blood pressure of
an entity
is
another entity
mm mercury
(s) and the
diastolic
blood pressure of
the entity
is
a third entity
mm mercury
(s) and
the other entity
is
greater
than 140.0 and
the third entity
is
greater
than 90.0 holds
during
a time position
,
then
hypertension
is an
attribute
of
the entity
holds
during
the time position
consequent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6505-6529
If
a process
is an
instance
of
checking vitals
and
a cognitive agent
is an
agent
of
the process
and
an object
is a
patient
of
the process
and
a heart
is an
instance
of
heart
and
the heart
is a
part
of
the object
and
a lung
is an
instance
of
lung
and
the lung
is a
part
of
the object
and the
systolic
blood pressure of
the object
is
an entity
and the
diastolic
blood pressure of
the object
is
another entity
and the
measure
of
the object
is
a third entity
fahrenheit degree
(s) holds
during
the
time
of existence of
the process
and
the heart
beats
at a rate of
an integer
beats per the
time
of existence of
the process
and
the lung
breathes
at a rate of
another integer
breaths per the
time
of existence of
the process
,
then
the cognitive agent
know
s the
systolic
blood pressure of
the object
is
the entity
and the
diastolic
blood pressure of
the object
is
the other entity
and the
measure
of
the object
is
the third entity
fahrenheit degree
(s) holds
during
the
time
of existence of
the process
and
the heart
beats
at a rate of
the integer
beats per the
time
of existence of
the process
and
the lung
breathes
at a rate of
the other integer
breaths per the
time
of existence of
the 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