TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1485-1485	Le nombre 1 argument de appraisedValue est une instance de Collateral
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1486-1486	Le nombre 2 argument de appraisedValue est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1484-1484	appraisedValue est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1483-1483	appraisedValue est une sous-relation de monetaryValue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2810-2810
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2809-2809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2808-2808
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8040-8040
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8039-8039
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8038-8038