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	Le nombre 1 argument de regionalIssue est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6810-6810	Le nombre 2 argument de regionalIssue est une instance de AreaOfConcern
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6808-6808	regionalIssue est une instance de pr�dicat binaire

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 49208-49208
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49207-49207
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49206-49206