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 10365-10368
(
domain
heartRate
1
Heart
)
Mid-level-ontology.kif 10362-10362
Die Zahl 1 Argument von
heartRate
ist ein
fall
von
Heart
%n{nicht}
(
domain
heartRate
2
TimeInterval
)
Mid-level-ontology.kif 10363-10363
Die Zahl 2 Argument von
heartRate
ist ein
fall
von
TimeInterval
%n{nicht}
(
domain
heartRate
3
Integer
)
Mid-level-ontology.kif 10364-10364
Die Zahl 3 Argument von
heartRate
ist ein
fall
von
Integer
%n{nicht}
(
instance
heartRate
TernaryPredicate
)
Mid-level-ontology.kif 10361-10361
heartRate
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
EnglishLanguage
heartRate
"%1 beats at a rate of %3 beats per %2")
Mid-level-ontology.kif 10369-10370
(
termFormat
EnglishLanguage
heartRate
"heart rate")
domainEnglishFormat.kif 65851-65851
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
Wenn
Process
ist ein
fall
von
CheckingVitals
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht} und
Heart
ist ein
fall
von
Heart
%n{nicht} und
** Heart
ist ein
teil
von
** Object
%n{nicht} und
Lung
ist ein
fall
von
Lung
%n{nicht} und
** Lung
ist ein
teil
von
** Object
%n{nicht} und
systolicBloodPressure
** Object
and
entity
und
diastolicBloodPressure
** Object
and
** entity
und das
mass
von
** Object
ist
** entity
FahrenheitDegree
(s) %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
heartRate
** Heart
, die
zeit
des Bestehens von
** Process
and
Integer
und
breathingRate
** Lung
, die
zeit
des Bestehens von
** Process
and
** Integer
,
dann
** CognitiveAgent
kennt
systolicBloodPressure
** Object
and
** entity
und
diastolicBloodPressure
** Object
and
** ** entity
und das
mass
von
** Object
ist
** ** entity
FahrenheitDegree
(s) %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
heartRate
** Heart
, die
zeit
des Bestehens von
** Process
and
** Integer
und
breathingRate
** Lung
, die
zeit
des Bestehens von
** Process
and
** ** Integer
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Bradycardia
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
Heart
ist ein
fall
von
Heart
%n{nicht} und
** Heart
ist ein
teil
von
** AutonomousAgent
%n{nicht} und
TimeInterval
ist ein
fall
von
Minute
%n{nicht} und
heartRate
** Heart
,
** TimeInterval
and
Integer
,
dann 50 ist
groesserAls
** Integer
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Tachycardia
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
Heart
ist ein
fall
von
Heart
%n{nicht} und
** Heart
ist ein
teil
von
** AutonomousAgent
%n{nicht} und
TimeInterval
ist ein
fall
von
Minute
%n{nicht} und
heartRate
** Heart
,
** TimeInterval
and
Integer
,
dann
** Integer
ist
groesserAls
100 %n{nicht}
(=>
(
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 10372-10384
Wenn
heartRate
Heart
,
TimeInterval
and
Integer
,
dann es gibt
Collection
und
Process
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
HeartBeat
und
memberCount
** Collection
and
** Integer
und
wenn
** Process
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Heart
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht}
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
Wenn
Process
ist ein
fall
von
CheckingVitals
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht} und
Heart
ist ein
fall
von
Heart
%n{nicht} und
** Heart
ist ein
teil
von
** Object
%n{nicht} und
Lung
ist ein
fall
von
Lung
%n{nicht} und
** Lung
ist ein
teil
von
** Object
%n{nicht} und
systolicBloodPressure
** Object
and
entity
und
diastolicBloodPressure
** Object
and
** entity
und das
mass
von
** Object
ist
** entity
FahrenheitDegree
(s) %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
heartRate
** Heart
, die
zeit
des Bestehens von
** Process
and
Integer
und
breathingRate
** Lung
, die
zeit
des Bestehens von
** Process
and
** Integer
,
dann
** CognitiveAgent
kennt
systolicBloodPressure
** Object
and
** entity
und
diastolicBloodPressure
** Object
and
** ** entity
und das
mass
von
** Object
ist
** ** entity
FahrenheitDegree
(s) %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
heartRate
** Heart
, die
zeit
des Bestehens von
** Process
and
** Integer
und
breathingRate
** Lung
, die
zeit
des Bestehens von
** Process
and
** ** Integer
%n{nicht}
(=>
(
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
Wenn
restingHeartRate
Mammal
and
Integer
und
** Mammal
EART ist ein
fall
von
Heart
%n{nicht} und
** Mammal
EART ist ein
teil
von
** Mammal
%n{nicht},
dann es gibt
TimeInterval
um es gibt nicht
** Integer
EC um
** Integer
EC ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** Integer
EC ist der
agent
von
** Mammal
%n{nicht} und
** TimeInterval
geschieht
waehrend
die
zeit
des Bestehens von
** Integer
EC %n{nicht} und
** TimeInterval
ist ein
fall
von
Minute
%n{nicht} und
heartRate
** Mammal
,
** TimeInterval
and
** Integer
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