TreeView Knowledge Base Browser - diastolicBloodPressure

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

diastolicBloodPressure

Sigma KEE - diastolicBloodPressure

diastolicBloodPressure

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10443-10447
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10440-10440	域 diastolicBloodPressure, 1 and Mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10441-10441	域 diastolicBloodPressure, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10439-10439	例 diastolicBloodPressure and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10448-10448
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10449-10449

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.	Mid-level-ontology.kif 10469-10479	持有期間 TimePosition and systolicBloodPressure entity and 測量 entity and mm汞 diastolicBloodPressure entity and 測量 entity and mm汞比較多 90.0 and entity 比較多 60.0 and entity 持有期間 TimePosition and attribute entity and LowBloodPressure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10451-10461	持有期間 TimePosition and systolicBloodPressure entity and 測量 entity and mm汞 diastolicBloodPressure entity and 測量 entity and mm汞比較多 entity and 140.0 比較多 entity and 90.0 持有期間 TimePosition and attribute entity and HighBloodPressure

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

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