TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4276-4277
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4278-4278	地面类型的 1 数量是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4279-4279	地面类型的 2 数量是物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4275-4275	地面类型是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1133-1133
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1132-1132
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1131-1131
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26718-26718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26717-26717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26716-26716

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4355-4359	如果土地面积是地理区域的 instance 和壤土是那个土地面积的 ground 表面类别，然后肥沃的地形是那个土地面积的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1824-1828	如果土地面积是地理区域的 instance 和岩石是那个土地面积的 ground 表面类别，然后肥沃的地形不是那个土地面积的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4288-4297	如果土地面积是土地面积的 instance 和有点物质是那个土地面积的 ground 表面类别和另一个有点物质是那个土地面积表面下的 ground ，然后有存在客体和另一个客体这样那个客体是有点物质的 instance 和那个另外客体是另一个有点物质的 instance 和那个客体在那个另外客体的以上

consequent

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

Geography.kif 6627-6631

appearance as argument number 0

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

Geography.kif 4040-4040

岩石是山的 ground 表面类别