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 10380-10382
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10377-10377	breathingRate 的 1 数量是肺的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10378-10378	breathingRate 的 2 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10379-10379	breathingRate 的 3 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10376-10376	breathingRate 是三元谓语的 instance

appearance as argument number 2

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

Mid-level-ontology.kif 10383-10384

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	如果 breathingRate 施事体, 时距 and 整数和那个时距是分钟的 instance 和不存在那个整数这样那个整数是娱乐或锻炼的 instance 和那个施事体是那个整数的 agent 和那个时距在那个整数出现的 time 时段内发生和人类成人是那个施事体的 attribute 在那个时距 holdsDuring 和那个整数是 greaterThan 16 或那个整数是 lessThan 12，然后 Healthy 不是那个施事体的 attribute 在那个时距 holdsDuring
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 10386-10398	如果 breathingRate 肺, 时距 and 整数，然后有存在群体和过程这样那个群体是群体的 instance 和 Breath 是那个群体的 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 466-482	如果过程是 MeasuringBreathing 的 instance 和施事体是那个过程的 agent 和客体是肺的 instance 和那个客体是另一个客体的 part 和时距是时距的 instance 和那个时距在那个过程出现的 time 时段内发生和那个时距的 duration 是分钟和那个另外客体是那个过程的 patient，然后有存在实体这样那个施事体 knows breathingRate 那个客体, 那个时距 and 那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 342-357	如果 restingBreathingRate 哺乳动物 and 整数和客体是肺的 instance 和那个客体是那个哺乳动物的 part，然后有存在时距这样不存在那个整数EC 这样那个整数EC 是娱乐或锻炼的 instance 和那个哺乳动物是那个整数EC 的 agent 和那个时距在那个整数EC 出现的 time 时段内发生和那个时距是分钟的 instance 和 breathingRate 那个哺乳动物, 那个时距 and 那个整数

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