TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3478-3478	O argumento numero 1 de finalPrice e' uma instancia de Stock
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3479-3479	O argumento numero 2 de finalPrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3477-3477	finalPrice e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3476-3476	finalPrice e' uma sub-relacao de monetaryValue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3442-3442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3441-3441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3440-3440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23720-23720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23719-23719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23718-23718