TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1485-1485	O argumento numero 1 de appraisedValue e' uma instancia de Collateral
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1486-1486	O argumento numero 2 de appraisedValue e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1484-1484	appraisedValue e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1483-1483	appraisedValue e' uma sub-relacao de monetaryValue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2810-2810
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2809-2809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2808-2808
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8040-8040
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8039-8039
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8038-8038