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
breathingRate
Sigma KEE - breathingRate
breathingRate
appearance as argument number 1
(
documentation
breathingRate
EnglishLanguage
"The number of times the
Lung
s of a
Mammal
fill and empty in a given period. The normal rate for adults is 12 to 16 breaths per minute.")
Mid-level-ontology.kif 10380-10382
(
domain
breathingRate
1
Lung
)
Mid-level-ontology.kif 10377-10377
Die Zahl 1 Argument von
breathingRate
ist ein
fall
von
Lung
%n{nicht}
(
domain
breathingRate
2
TimeInterval
)
Mid-level-ontology.kif 10378-10378
Die Zahl 2 Argument von
breathingRate
ist ein
fall
von
TimeInterval
%n{nicht}
(
domain
breathingRate
3
Integer
)
Mid-level-ontology.kif 10379-10379
Die Zahl 3 Argument von
breathingRate
ist ein
fall
von
Integer
%n{nicht}
(
instance
breathingRate
TernaryPredicate
)
Mid-level-ontology.kif 10376-10376
breathingRate
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
EnglishLanguage
breathingRate
"%1 breathes at a rate of %3 breaths per %2")
Mid-level-ontology.kif 10383-10384
antecedent
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
Wenn
breathingRate
AutonomousAgent
,
TimeInterval
and
Integer
und
** TimeInterval
ist ein
fall
von
Minute
%n{nicht} und es gibt nicht
** Integer
um
** Integer
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** Integer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
geschieht
waehrend
die
zeit
des Bestehens von
** Integer
%n{nicht} und
HumanAdult
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} und
** Integer
ist
groesserAls
16 %n{nicht} oder
** Integer
ist
kleinerAls
12 %n{nicht},
dann
Healthy
ist ein
attribut
von
** AutonomousAgent
nicht haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
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}
(=>
(
breathingRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
Breath
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10386-10398
Wenn
breathingRate
Lung
,
TimeInterval
and
Integer
,
dann es gibt
Collection
und
Process
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Breath
und
memberCount
** Collection
and
** Integer
und
wenn
** Process
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Lung
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
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
Wenn
Process
ist ein
fall
von
MeasuringBreathing
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
Lung
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** TimeInterval
geschieht
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
dauer
von
** TimeInterval
ist
MinuteDuration
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
entity
um
** AutonomousAgent
kennt
breathingRate
** Object
,
** TimeInterval
and
** entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%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