TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3445-3447
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3443-3443	Le nombre 1 argument de stockSymbol est une instance de Stock
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3444-3444	Le nombre 2 argument de stockSymbol est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3442-3442	stockSymbol est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2367-2367
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2366-2366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2365-2365
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55440-55440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55439-55439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55438-55438