TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2588-2590
No TPTP formula. May not be expressible in strict first order.	Government.kif 2585-2585	O argumento numero 1 de aimOfOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2586-2586	O argumento numero 2 de aimOfOrganization e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2584-2584	aimOfOrganization e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 116-116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 115-115
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 114-114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6066-6066
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6065-6065
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6064-6064