TreeView Knowledge Base Browser - systolicBloodPressure

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10431-10435
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10428-10428	systolicBloodPressure 的 1 数量是哺乳动物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10429-10429	systolicBloodPressure 的 2 数量是物理量的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10427-10427	systolicBloodPressure 是二元谓语的 instance

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	如果过程是 CheckingVitals 的 instance 和有认知的主事是那个过程的 agent 和客体是那个过程的 patient 和心是心的 instance 和那个心是那个客体的 part 和肺是肺的 instance 和那个肺是那个客体的 part 和 systolicBloodPressure 那个客体 and 实体和 diastolicBloodPressure 那个客体 and 另一个实体和那个客体的 measure 是第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 整数和 breathingRate 那个肺, 那个过程出现的 time and 另一个整数，然后那个有认知的主事 knows systolicBloodPressure 那个客体 and 那个实体和 diastolicBloodPressure 那个客体 and 那个另外实体和那个客体的 measure 是那个第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 那个整数和 breathingRate 那个肺, 那个过程出现的 time and 那个另外整数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10469-10479	如果 systolicBloodPressure 实体 and 另一个实体 mm汞和 diastolicBloodPressure 那个实体 and 第三实体 mm汞和 90.0 是 greaterThan 那个另外实体和 60.0 是 greaterThan 那个第三实体在时间位置 holdsDuring，然后 LowBloodPressure 是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10451-10461	如果 systolicBloodPressure 实体 and 另一个实体 mm汞和 diastolicBloodPressure 那个实体 and 第三实体 mm汞和那个另外实体是 greaterThan 140.0 和那个第三实体是 greaterThan 90.0 在时间位置 holdsDuring，然后 HighBloodPressure 是那个实体的 attribute 在那个时间位置 holdsDuring

consequent

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

Medicine.kif 6505-6529

如果过程是 CheckingVitals 的 instance 和有认知的主事是那个过程的 agent 和客体是那个过程的 patient 和心是心的 instance 和那个心是那个客体的 part 和肺是肺的 instance 和那个肺是那个客体的 part 和 systolicBloodPressure 那个客体 and 实体和 diastolicBloodPressure 那个客体 and 另一个实体和那个客体的 measure 是第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 整数和 breathingRate 那个肺, 那个过程出现的 time and 另一个整数，
然后那个有认知的主事 knows systolicBloodPressure 那个客体 and 那个实体和 diastolicBloodPressure 那个客体 and 那个另外实体和那个客体的 measure 是那个第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 那个整数和 breathingRate 那个肺, 那个过程出现的 time and 那个另外整数

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

KB Term:			Term intersection

English Word: