TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4846-4850
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4851-4851	O argumento numero 1 de meanSeaLevel e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4852-4852	O argumento numero 2 de meanSeaLevel e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4845-4845	meanSeaLevel e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1659-1659
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1658-1658
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1657-1657
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36653-36653
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36652-36652
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36651-36651