TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3993-3995
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3990-3990	O argumento numero 1 de dailyLimit e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3992-3992	O argumento numero 3 de dailyLimit e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3991-3991	O argumento numero 2 de dailyLimit e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3989-3989	dailyLimit e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 636-636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 635-635
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 634-634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18366-18366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18365-18365
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18364-18364