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 10365-10368
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10362-10362	heartRate 的 1 数量是心的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10363-10363	heartRate 的 2 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10364-10364	heartRate 的 3 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10361-10361	heartRate 是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10369-10370
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65851-65851

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.	Medicine.kif 2847-2855	如果过程是 Bradycardia 的 instance 和施事体经历了那个过程和心是心的 instance 和那个心是那个施事体的 part 和时距是分钟的 instance 和 heartRate 那个心, 那个时距 and 整数，然后 50 是 greaterThan 那个整数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2819-2827	如果过程是 Tachycardia 的 instance 和施事体经历了那个过程和心是心的 instance 和那个心是那个施事体的 part 和时距是分钟的 instance 和 heartRate 那个心, 那个时距 and 整数，然后那个整数是 greaterThan 100
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10372-10384	如果 heartRate 心, 时距 and 整数，然后有存在群体和过程这样那个群体是群体的 instance 和 HeartBeat 是那个群体的 member 类别和那个整数是那个群体的 member 计数和如果那个过程是那个群体的 member，然后那个心是那个过程的 patient 和那个过程出现的 time 在那个时距时段内发生

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 那个另外整数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	如果 restingHeartRate 哺乳动物 and 整数和那个哺乳动物EART 是心的 instance 和那个哺乳动物EART 是那个哺乳动物的 part，然后有存在时距这样不存在那个整数EC 这样那个整数EC 是娱乐或锻炼的 instance 和那个哺乳动物是那个整数EC 的 agent 和那个时距在那个整数EC 出现的 time 时段内发生和那个时距是分钟的 instance 和 heartRate 那个哺乳动物, 那个时距 and 那个整数

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