TreeView Knowledge Base Browser - heartRate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - heartRate

heartRate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10338-10341
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10335-10335	域 heartRate, 1 and 心
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10336-10336	域 heartRate, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10337-10337	域 heartRate, 3 and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10334-10334	例 heartRate and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10342-10343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65849-65849

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2847-2855	例 Process and Bradycardia 體驗者 Process and AutonomousAgent 例心 and 心部分心 and AutonomousAgent 例 TimeInterval and Minute heartRate 心, TimeInterval and Integer 比較多 50 and Integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2819-2827	例 Process and Tachycardia 體驗者 Process and AutonomousAgent 例心 and 心部分心 and AutonomousAgent 例 TimeInterval and Minute heartRate 心, TimeInterval and Integer 比較多 Integer and 100
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10345-10357	heartRate 心, TimeInterval and Integer Collection Process 例 Collection and Collection HeartBeat 是 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 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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	restingHeartRate Mammal and Integer 例 MammalEART and 心部分 MammalEART and Mammal TimeInterval IntegerEC 例 IntegerEC and RecreationOrExercise agent IntegerEC and Mammal 期間 TimeInterval and 何時 IntegerEC 例 TimeInterval and Minute heartRate 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