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	O argumento numero 1 de potentialLoss e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1882-1882	O argumento numero 2 de potentialLoss e' uma instancia de Investment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1883-1883	O argumento numero 3 de potentialLoss e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1880-1880	potentialLoss e' uma instancia de Predicado Ternario

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