TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 530-531
No TPTP formula. May not be expressible in strict first order.	Geography.kif 527-527	O argumento numero 1 de mapOfArea e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 528-528	O argumento numero 2 de mapOfArea e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 526-526	mapOfArea e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1607-1607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1606-1606
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1605-1605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36089-36089
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36088-36088
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36087-36087