TreeView Knowledge Base Browser - restingBreathingRate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

restingBreathingRate

Sigma KEE - restingBreathingRate

restingBreathingRate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 336-337
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 334-334	restingBreathingRate 的 1 数量是哺乳动物的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 335-335	restingBreathingRate 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 333-333	restingBreathingRate 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 338-338
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 339-339

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 359-365	如果 Healthy 是哺乳动物的 attribute 和 restingBreathingRate 那个哺乳动物 and 整数，然后那个整数是 greaterThanOrEqualTo 12 和 16 是 greaterThanOrEqualTo 那个整数
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 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