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	O argumento numero 1 de groundSurfaceType e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4279-4279	O argumento numero 2 de groundSurfaceType e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4275-4275	groundSurfaceType e' uma instancia de Predicado Binario

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	Area terrestre e' uma instancia de Area Geografica groundSurfaceType Area terrestre and Loam FertileTerrain e' um atributo de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1824-1828	Area terrestre e' uma instancia de Area Geografica groundSurfaceType Area terrestre and Rock FertileTerrain e' um atributo de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4288-4297	Area terrestre e' uma instancia de Area terrestre groundSurfaceType Area terrestre and Substancia groundSubsurfaceType Area terrestre and Substancia Objeto Objeto Objeto e' uma instancia de Substancia Objeto e' uma instancia de Substancia Objeto e' Above em relacao a Objeto

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