TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2295-2296
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2293-2293	O argumento numero 1 de accruedInterest e' uma instancia de Bond
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2294-2294	O argumento numero 2 de accruedInterest e' uma instancia de Interest
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2292-2292	accruedInterest e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48-48
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47-47
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46-46
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5280-5280
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5279-5279
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5278-5278