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
TiaretAlgeria
Sigma KEE - restingBreathingRate
restingBreathingRate
appearance as argument number 1
(
documentation
restingBreathingRate
EnglishLanguage
"The breathing rate at rest of a human, in beats per minute. ")
Medicine.kif 336-337
(
domain
restingBreathingRate
1
Mammal
)
Medicine.kif 334-334
Die Zahl 1 Argument von
restingBreathingRate
ist ein
fall
von
Mammal
%n{nicht}
(
domain
restingBreathingRate
2
Integer
)
Medicine.kif 335-335
Die Zahl 2 Argument von
restingBreathingRate
ist ein
fall
von
Integer
%n{nicht}
(
instance
restingBreathingRate
BinaryPredicate
)
Medicine.kif 333-333
restingBreathingRate
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
EnglishLanguage
restingBreathingRate
"the resting breathing rate of %1 is %2")
Medicine.kif 338-338
(
termFormat
EnglishLanguage
restingBreathingRate
"resting breathing rate")
Medicine.kif 339-339
antecedent
(=>
(
and
(
attribute
?H
Healthy
)
(
restingBreathingRate
?H ?R))
(
and
(
greaterThanOrEqualTo
?R 12)
(
greaterThanOrEqualTo
16 ?R)))
Medicine.kif 359-365
Wenn
Healthy
ist ein
attribut
von
Mammal
%n{nicht} und
restingBreathingRate
** Mammal
and
Integer
,
dann
** Integer
ist
groesserAlsOderGleich
12 %n{nicht} und 16 ist
groesserAlsOderGleich
** Integer
%n{nicht}
(=>
(
and
(
restingBreathingRate
?H ?R)
(
instance
?L
Lung
)
(
part
?L ?H))
(
exists
(?T)
(
and
(
not
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
agent
?REC ?H)
(
during
?T
(
WhenFn
?REC)))))
(
instance
?T
Minute
)
(
breathingRate
?H ?T ?R))))
Medicine.kif 342-357
Wenn
restingBreathingRate
Mammal
and
Integer
und
Object
ist ein
fall
von
Lung
%n{nicht} und
** Object
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
breathingRate
** 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