TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2214-2215
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2217-2217	Le nombre 1 argument de stockHolder est une instance de Stock
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2218-2218	Le nombre 2 argument de stockHolder est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2216-2216	stockHolder 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 2363-2363
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2362-2362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2361-2361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55392-55392
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55391-55391
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55390-55390