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 10338-10341
(
domain
heartRate
1
Heart
)
Mid-level-ontology.kif 10335-10335
Il numero 1 argomenti di
heartRate
è un
istanza
di
Heart
(
domain
heartRate
2
TimeInterval
)
Mid-level-ontology.kif 10336-10336
Il numero 2 argomenti di
heartRate
è un
istanza
di
IntervalloTemporale
(
domain
heartRate
3
Integer
)
Mid-level-ontology.kif 10337-10337
Il numero 3 argomenti di
heartRate
è un
istanza
di
NumeroIntero
(
instance
heartRate
TernaryPredicate
)
Mid-level-ontology.kif 10334-10334
heartRate
è un'
istanza
di
PredicatoTernario
appearance as argument number 2
(
format
EnglishLanguage
heartRate
"%1 beats at a rate of %3 beats per %2")
Mid-level-ontology.kif 10342-10343
(
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
Processo
è un'
istanza
di
CheckingVitals
Processo
è un
agente
di
AgenteCognitivo
Oggetto
è un
paziente
di
Processo
Heart
è un'
istanza
di
Heart
Heart
è una
parte
di
Oggetto
Lung
è un'
istanza
di
Lung
Lung
è una
parte
di
Oggetto
systolicBloodPressure
Oggetto
and
Entit�
diastolicBloodPressure
Oggetto
and
Entit�
la
misura
Oggetto
è
Entit�
FahrenheitDegree
(s vales
durante
il
tempo
di esistenza di
Processo
heartRate
Heart
, il
tempo
di esistenza di
Processo
and
NumeroIntero
breathingRate
Lung
, il
tempo
di esistenza di
Processo
and
NumeroIntero
AgenteCognitivo
conosce
s
systolicBloodPressure
Oggetto
and
Entit�
diastolicBloodPressure
Oggetto
and
Entit�
la
misura
Oggetto
è
Entit�
FahrenheitDegree
(s vales
durante
il
tempo
di esistenza di
Processo
heartRate
Heart
, il
tempo
di esistenza di
Processo
and
NumeroIntero
breathingRate
Lung
, il
tempo
di esistenza di
Processo
and
NumeroIntero
(=>
(
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
Processo
è un'
istanza
di
Bradycardia
AutonomousAgent
esperisce
s
Processo
Heart
è un'
istanza
di
Heart
Heart
è una
parte
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Minuto
heartRate
Heart
,
IntervalloTemporale
and
NumeroIntero
50 è
pi
ù grande di
NumeroIntero
(=>
(
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
Processo
è un'
istanza
di
Tachycardia
AutonomousAgent
esperisce
s
Processo
Heart
è un'
istanza
di
Heart
Heart
è una
parte
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Minuto
heartRate
Heart
,
IntervalloTemporale
and
NumeroIntero
NumeroIntero
è
pi
ù grande di 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 10345-10357
heartRate
Heart
,
IntervalloTemporale
and
NumeroIntero
InsiemeConcreto
Processo
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
HeartBeat
memberCount
InsiemeConcreto
and
NumeroIntero
Processo
è un
membro
di
InsiemeConcreto
Heart
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
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
Processo
è un'
istanza
di
CheckingVitals
Processo
è un
agente
di
AgenteCognitivo
Oggetto
è un
paziente
di
Processo
Heart
è un'
istanza
di
Heart
Heart
è una
parte
di
Oggetto
Lung
è un'
istanza
di
Lung
Lung
è una
parte
di
Oggetto
systolicBloodPressure
Oggetto
and
Entit�
diastolicBloodPressure
Oggetto
and
Entit�
la
misura
Oggetto
è
Entit�
FahrenheitDegree
(s vales
durante
il
tempo
di esistenza di
Processo
heartRate
Heart
, il
tempo
di esistenza di
Processo
and
NumeroIntero
breathingRate
Lung
, il
tempo
di esistenza di
Processo
and
NumeroIntero
AgenteCognitivo
conosce
s
systolicBloodPressure
Oggetto
and
Entit�
diastolicBloodPressure
Oggetto
and
Entit�
la
misura
Oggetto
è
Entit�
FahrenheitDegree
(s vales
durante
il
tempo
di esistenza di
Processo
heartRate
Heart
, il
tempo
di esistenza di
Processo
and
NumeroIntero
breathingRate
Lung
, il
tempo
di esistenza di
Processo
and
NumeroIntero
(=>
(
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
restingHeartRate
Mammifero
and
NumeroIntero
Mammifero
EART è un'
istanza
di
Heart
Mammifero
EART è una
parte
di
Mammifero
IntervalloTemporale
NumeroIntero
EC
NumeroIntero
EC è un'
istanza
di
PassatempoOEsercizio
NumeroIntero
EC è un
agente
di
Mammifero
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
NumeroIntero
EC
IntervalloTemporale
è un'
istanza
di
Minuto
heartRate
Mammifero
,
IntervalloTemporale
and
NumeroIntero
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