breathingRate - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - breathingRate

breathingRate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11729-11731
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11726-11726	域 breathingRate, 1 and 肺
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11727-11727	域 breathingRate, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11728-11728	域 breathingRate, 3 and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11725-11725	例 breathingRate and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 11732-11733

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 355-373	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6486-6510	例 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11735-11747	breathingRate 肺, TimeInterval and Integer Collection Process 例 Collection and Collection Breath 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數會員 Process and Collection 患者 Process and 肺期間何時 Process and TimeInterval

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6486-6510	例 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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 454-470	例 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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 330-345	restingBreathingRate Mammal and Integer 例 Object and 肺部分 Object and Mammal TimeInterval IntegerEC 例 IntegerEC and RecreationOrExercise agent IntegerEC and Mammal 期間 TimeInterval and 何時 IntegerEC 例 TimeInterval and Minute breathingRate Mammal, TimeInterval and Integer

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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