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 527-530
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 524-524 The number 1 argument of compound interest is an instance of financial account
(domain compoundInterest 2 Interest) FinancialOntology.kif 525-525 The number 2 argument of compound interest is an instance of interest
(domain compoundInterest 3 TimeInterval) FinancialOntology.kif 526-526 The number 3 argument of compound interest is an instance of time interval
(instance compoundInterest TernaryPredicate) FinancialOntology.kif 522-522 compound interest is an instance of ternary predicate
(subrelation compoundInterest interestEarned) FinancialOntology.kif 523-523 compound interest is a subrelation of interest earned

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 "compound interest" is the printable form of compound interest in english language

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