TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 508-517
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 506-506	coreBodyTemp 的 1 数量是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 507-507	coreBodyTemp 的 2 数量是温度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 505-505	coreBodyTemp 是二元谓语的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 686-694	如果实体是人类的 instance 和 Hyperthermia 是时间位置的 attribute 和 coreBodyTemp 那个实体 and 实数摄氏度在那个时间位置 holdsDuring，然后那个实数是 greaterThan 38.3
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 651-659	如果实体是人类的 instance 和 Hypothermia 是时间位置的 attribute 和 coreBodyTemp 那个实体 and 实数摄氏度在那个时间位置 holdsDuring，然后那个实数是 lessThan 35.0
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 519-530	如果客体是人类的 instance 和另一个客体是 Rectum 的 instance 和那个另外客体是那个客体的 part 和 coreBodyTemp 那个客体 and 实数实体和那个另外客体的 measure 是那个实数2 那个实体在时间位置 holdsDuring，然后 approximateValue 那个实数 and 那个实数2