TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6812-6814
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6809-6809	O argumento numero 1 de regionalIssue e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6810-6810	O argumento numero 2 de regionalIssue e' uma instancia de AreaOfConcern
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6808-6808	regionalIssue e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2115-2115
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2114-2114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2113-2113
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49210-49210
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49209-49209
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49208-49208