No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 555558 

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 552552 
The number 1 argument of compound interest is an instance of financial account 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 553553 
The number 2 argument of compound interest is an instance of interest 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 554554 
The number 3 argument of compound interest is an instance of time interval 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 550550 
compound interest is an instance of ternary predicate 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 551551 
compound interest is a subrelation of interest earned 