TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3473-3474
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3470-3470	Le nombre 1 argument de closingPrice est une instance de Stock
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3471-3471	Le nombre 2 argument de closingPrice est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3472-3472	Le nombre 3 argument de closingPrice est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3469-3469	closingPrice est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 464-464
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 463-463
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 462-462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15228-15228
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15227-15227
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15226-15226