Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - compoundInterest
compoundInterest

appearance as argument number 1
-------------------------


(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, semi-annually, quartely, monthly, or daily.") FinancialOntology.kif 526-529
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 523-523
(domain compoundInterest 2 Interest) FinancialOntology.kif 524-524
(domain compoundInterest 3 TimeInterval) FinancialOntology.kif 525-525
(instance compoundInterest TernaryPredicate) FinancialOntology.kif 521-521
(subrelation compoundInterest interestEarned) FinancialOntology.kif 522-522

appearance as argument number 2
-------------------------


(format ChineseLanguage compoundInterest "%1 对于 %3 %n{不} compound 利息") domainEnglishFormat.kif 512-512
(format ChineseTraditionalLanguage compoundInterest "%1 對於 %3 %n{不} compound 利息") domainEnglishFormat.kif 511-511
(format EnglishLanguage compoundInterest "%1 %n{doesn't} compound interest %2 for %3") domainEnglishFormat.kif 510-510
(termFormat ChineseLanguage compoundInterest "复利") domainEnglishFormat.kif 16153-16153
(termFormat ChineseTraditionalLanguage compoundInterest "複利") domainEnglishFormat.kif 16152-16152
(termFormat EnglishLanguage compoundInterest "compound interest") domainEnglishFormat.kif 16151-16151

antecedent
-------------------------


(=>
    (and
        (principalAmount ?Account ?Balance)
        (fixedInterestRate ?Account ?Rate)
        (compoundInterest ?Account ?Interest ?Period)
        (equal ?Rate-Decimal
            (DivisionFn ?Rate 100))
        (equal ?Add
            (AdditionFn 1 ?Rate-Decimal))
        (equal ?Exponent
            (ExponentiationFn ?Add
                (MagnitudeFn ?Period)))
        (equal ?Multiply
            (MultiplicationFn ?Exponent ?Balance)))
    (equal ?Interest
        (SubtractionFn ?Multiply ?Balance)))
FinancialOntology.kif 531-540


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners