No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 13611361 

No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 13601360 

No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 13591359 

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 522522 
compound interest is a subrelation of interest earned 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 505505 
simple interest is a subrelation of interest earned 
No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 3031330313 
"利息收入" is the printable form of interest earned in ChineseLanguage 
No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 3031230312 
"利息收入" is the printable form of interest earned in ChineseTraditionalLanguage 
No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 3031130311 
"interest earned" is the printable form of interest earned in english language 