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 10379-10381
(
domain
breathingRate
1
Lung
)
Mid-level-ontology.kif 10376-10376
域
breathingRate
, 1 and
肺
(
domain
breathingRate
2
TimeInterval
)
Mid-level-ontology.kif 10377-10377
域
breathingRate
, 2 and
TimeInterval
(
domain
breathingRate
3
Integer
)
Mid-level-ontology.kif 10378-10378
域
breathingRate
, 3 and
Integer
(
instance
breathingRate
TernaryPredicate
)
Mid-level-ontology.kif 10375-10375
例
breathingRate
and
TernaryPredicate
appearance as argument number 2
(
format
EnglishLanguage
breathingRate
"%1 breathes at a rate of %3 breaths per %2")
Mid-level-ontology.kif 10382-10383
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
breathingRate
AutonomousAgent
,
TimeInterval
and
Integer
例
TimeInterval
and
Minute
Integer
例
Integer
and
RecreationOrExercise
agent
Integer
and
AutonomousAgent
期間
TimeInterval
and
何時
Integer
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
人類成人
比較多
Integer
and 16
少於
Integer
and 12
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Healthy
(=>
(
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
例
Process
and
CheckingVitals
agent
Process
and
CognitiveAgent
患者
Process
and
Object
例
心
and
心
部分
心
and
Object
例
肺
and
肺
部分
肺
and
Object
持有期間
何時
Process
and
systolicBloodPressure
Object
and
entity
diastolicBloodPressure
Object
and
entity
測量
Object
and
測量
entity
and
華氏度
heartRate
心
,
何時
Process
and
Integer
breathingRate
肺
,
何時
Process
and
Integer
知道
CognitiveAgent
and
持有期間
何時
Process
and
systolicBloodPressure
Object
and
entity
diastolicBloodPressure
Object
and
entity
測量
Object
and
測量
entity
and
華氏度
heartRate
心
,
何時
Process
and
Integer
breathingRate
肺
,
何時
Process
and
Integer
(=>
(
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 10385-10397
breathingRate
肺
,
TimeInterval
and
Integer
Collection
Process
例
Collection
and
Collection
Breath
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
會員
Process
and
Collection
患者
Process
and
肺
期間
何時
Process
and
TimeInterval
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
例
Process
and
CheckingVitals
agent
Process
and
CognitiveAgent
患者
Process
and
Object
例
心
and
心
部分
心
and
Object
例
肺
and
肺
部分
肺
and
Object
持有期間
何時
Process
and
systolicBloodPressure
Object
and
entity
diastolicBloodPressure
Object
and
entity
測量
Object
and
測量
entity
and
華氏度
heartRate
心
,
何時
Process
and
Integer
breathingRate
肺
,
何時
Process
and
Integer
知道
CognitiveAgent
and
持有期間
何時
Process
and
systolicBloodPressure
Object
and
entity
diastolicBloodPressure
Object
and
entity
測量
Object
and
測量
entity
and
華氏度
heartRate
心
,
何時
Process
and
Integer
breathingRate
肺
,
何時
Process
and
Integer
(=>
(
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
例
Process
and
MeasuringBreathing
agent
Process
and
AutonomousAgent
例
Object
and
肺
部分
Object
and
Object
例
TimeInterval
and
TimeInterval
期間
TimeInterval
and
何時
Process
持續時間
TimeInterval
and
分鐘
患者
Process
and
Object
持有期間
眼前的未來
何時
Process
and
entity
知道
AutonomousAgent
and
breathingRate
Object
,
TimeInterval
and
entity
(=>
(
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
restingBreathingRate
Mammal
and
Integer
例
Object
and
肺
部分
Object
and
Mammal
TimeInterval
Integer
EC
例
Integer
EC and
RecreationOrExercise
agent
Integer
EC and
Mammal
期間
TimeInterval
and
何時
Integer
EC
例
TimeInterval
and
Minute
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