TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3439-3439	O argumento numero 1 de accountNumber e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3440-3440	O argumento numero 2 de accountNumber e' uma instancia de Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3438-3438	accountNumber e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40-40
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39-39
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38-38
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5262-5262
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5261-5261
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5260-5260