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
heartRate
Sigma KEE - heartRate
heartRate
appearance as argument number 1
(
documentation
heartRate
EnglishLanguage
"The number of times the
Heart
of a
Mammal
beats in a given period. A normal rate for a
Human
at rest is 60 beats per minute although this can vary significantly with age, fitness level and health status.")
Mid-level-ontology.kif 10337-10340
(
domain
heartRate
1
Heart
)
Mid-level-ontology.kif 10334-10334
The number 1 argument of
heart rate
is an
instance
of
heart
(
domain
heartRate
2
TimeInterval
)
Mid-level-ontology.kif 10335-10335
The number 2 argument of
heart rate
is an
instance
of
time interval
(
domain
heartRate
3
Integer
)
Mid-level-ontology.kif 10336-10336
The number 3 argument of
heart rate
is an
instance
of
integer
(
instance
heartRate
TernaryPredicate
)
Mid-level-ontology.kif 10333-10333
heart rate
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
EnglishLanguage
heartRate
"%1 beats at a rate of %3 beats per %2")
Mid-level-ontology.kif 10341-10342
(
termFormat
EnglishLanguage
heartRate
"heart rate")
domainEnglishFormat.kif 65849-65849
antecedent
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
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
(=>
(
and
(
instance
?T
Bradycardia
)
(
experiencer
?T ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?I
Minute
)
(
heartRate
?H ?I ?N))
(
greaterThan
50 ?N))
Medicine.kif 2847-2855
If
a process
is an
instance
of
Bradycardia
and
an agent
experience
s
the process
and
a heart
is an
instance
of
heart
and
the heart
is a
part
of
the agent
and
a time interval
is an
instance
of
minute
and
the heart
beats
at a rate of
an integer
beats per
the time interval
,
then 50 is
greater
than
the integer
(=>
(
and
(
instance
?T
Tachycardia
)
(
experiencer
?T ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?I
Minute
)
(
heartRate
?H ?I ?N))
(
greaterThan
?N 100))
Medicine.kif 2819-2827
If
a process
is an
instance
of
tachyarrhythmia
and
an agent
experience
s
the process
and
a heart
is an
instance
of
heart
and
the heart
is a
part
of
the agent
and
a time interval
is an
instance
of
minute
and
the heart
beats
at a rate of
an integer
beats per
the time interval
,
then
the integer
is
greater
than 100
(=>
(
heartRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
HeartBeat
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10344-10356
If
a heart
beats
at a rate of
an integer
beats per
a time interval
,
then there exist
a collection
and
a process
such that
the collection
is an
instance
of
collection
and
heart beat
is a
member
type of
the collection
and
the integer
is a
member
count of
the collection
and
if
the process
is a
member
of
the collection
,
then
the heart
is a
patient
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
consequent
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
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
(=>
(
and
(
restingHeartRate
?H ?R)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?T)
(
and
(
not
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
agent
?REC ?H)
(
during
?T
(
WhenFn
?REC)))))
(
instance
?T
Minute
)
(
heartRate
?H ?T ?R))))
Medicine.kif 122-136
If the
resting
heart rate of
a mammal
is
an integer
and
the mammal
EART is an
instance
of
heart
and
the mammal
EART is a
part
of
the mammal
,
then there exists
a time interval
such that there doesn't exist
the integer
EC such that
the integer
EC is an
instance
of
recreation or exercise
and
the mammal
is an
agent
of
the integer
EC and
the time interval
takes place
during
the
time
of existence of
the integer
EC and
the time interval
is an
instance
of
minute
and
the mammal
beats
at a rate of
the integer
beats per
the time interval
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