(documentation compoundInterest EnglishLanguage "(compoundInterest ?Account ?Amount ?Time) means that ?Amount is the interest which is calculated not only on the initial principal but also the accumulated interest of prior periods. Compound interest can be calculated annually, semiannually, quarterly, monthly, or daily.") 
FinancialOntology.kif 555558 

(domain compoundInterest 1 FinancialAccount) 
FinancialOntology.kif 552552 
The number 1 argument of compound interest is an instance of financial account 
(domain compoundInterest 2 Interest) 
FinancialOntology.kif 553553 
The number 2 argument of compound interest is an instance of interest 
(domain compoundInterest 3 TimeInterval) 
FinancialOntology.kif 554554 
The number 3 argument of compound interest is an instance of time interval 
(instance compoundInterest TernaryPredicate) 
FinancialOntology.kif 550550 
compound interest is an instance of ternary predicate 
(subrelation compoundInterest interestEarned) 
FinancialOntology.kif 551551 
compound interest is a subrelation of interest earned 