TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1884-1885
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1881-1881	Le nombre 1 argument de potentialLoss est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1882-1882	Le nombre 2 argument de potentialLoss est une instance de Investment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1883-1883	Le nombre 3 argument de potentialLoss est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1880-1880	potentialLoss 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 2007-2007
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2006-2006
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2005-2005
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46892-46892
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46891-46891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46890-46890