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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - simpleInterest
simpleInterest

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


(documentation simpleInterest EnglishLanguage "(simpleInterest ?Account ?Amount ?Time) means that ?Amount is the interest calculated on a principal sum, not compounded on earned interest, for the duration ?Time.") FinancialOntology.kif 510-512
(domain simpleInterest 1 FinancialAccount) FinancialOntology.kif 507-507
(domain simpleInterest 2 Interest) FinancialOntology.kif 508-508
(domain simpleInterest 3 TimeInterval) FinancialOntology.kif 509-509
(instance simpleInterest TernaryPredicate) FinancialOntology.kif 505-505
(subrelation simpleInterest interestEarned) FinancialOntology.kif 506-506

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


(format EnglishLanguage simpleInterest "%1 %n{doesn't} simple interest %2 for %3") domainEnglishFormat.kif 583-583
(termFormat EnglishLanguage simpleInterest "simple interest") domainEnglishFormat.kif 9278-9278

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


(=>
    (and
        (principalAmount ?Account ?Balance)
        (fixedInterestRate ?Account ?Rate)
        (simpleInterest ?Account ?Amount ?Period)
        (equal ?Rate-Decimal
            (DivisionFn
                (MagnitudeFn ?Rate) 100)))
    (equal ?Amount
        (MultiplicationFn
            (MultiplicationFn
                (MagnitudeFn ?Period) ?Balance) ?Rate-Decimal)))
FinancialOntology.kif 514-520
(=>
    (and
        (simpleInterest ?Account ?Interest ?Period)
        (principalAmount ?Account ?Principal)
        (equal ?Rate-Decimal
            (DivisionFn ?Interest ?Principal))
        (equal ?Rate
            (MultiplicationFn ?Rate-Decimal 100)))
    (interestRatePerPeriod ?Account ?Rate ?Period))
FinancialOntology.kif 551-557


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