TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3112-3113
No TPTP formula. May not be expressible in strict first order.	Food.kif 3111-3111	roomTempState Cream and 液体
No TPTP formula. May not be expressible in strict first order.	Food.kif 3110-3110	Cream 是乳制品的 subclass

appearance as argument number 2

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

domainEnglishFormat.kif 64715-64715

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3124-3136	如果客体是 Cream 的 instance 和那个客体是另一个客体的 part 和那个另外客体是 ButterFat 的 instance 和那个另外客体的 measure 是实数公克和第三客体是乳的 instance 和那个第三客体是第四客体的 part 和那个第四客体是 ButterFat 的 instance 和那个第四客体的 measure 是另一个实数公克，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 3115-3122	如果实体是 Cream 的 instance，然后有存在那个实体H 和另一个实体这样那个实体H 是分开的 instance 和那个另外实体是那个实体H 的 patient 和那个另外实体是乳的 instance 和 Cream 是那个实体H 的 result

consequent

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

Food.kif 3115-3122