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

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 531531 
The number 1 argument of simple interest is an instance of financial account 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 532532 
The number 2 argument of simple interest is an instance of interest 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 533533 
The number 3 argument of simple interest is an instance of time interval 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 529529 
simple interest is an instance of ternary predicate 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 530530 
simple interest is a subrelation of interest earned 