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

Formal Language: 



KB Term:  Term intersection
English Word: 

  compoundInterest

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 527-530
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 524-524
(domain compoundInterest 2 Interest) FinancialOntology.kif 525-525
(domain compoundInterest 3 TimeInterval) FinancialOntology.kif 526-526
(instance compoundInterest TernaryPredicate) FinancialOntology.kif 522-522
(subrelation compoundInterest interestEarned) FinancialOntology.kif 523-523

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


(format EnglishLanguage compoundInterest "%1 %n{doesn't} compound interest %2 for %3") domainEnglishFormat.kif 137-137
(termFormat EnglishLanguage compoundInterest "compound interest") domainEnglishFormat.kif 3126-3126

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 532-541


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

Show without tree


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