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 509-511
(domain simpleInterest 1 FinancialAccount) FinancialOntology.kif 506-506
(domain simpleInterest 2 Interest) FinancialOntology.kif 507-507
(domain simpleInterest 3 TimeInterval) FinancialOntology.kif 508-508
(instance simpleInterest TernaryPredicate) FinancialOntology.kif 504-504
(subrelation simpleInterest interestEarned) FinancialOntology.kif 505-505

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


(format ChineseLanguage simpleInterest "%1 %n 是 对于 %3 的 simple 利息 %2 ") domainEnglishFormat.kif 2299-2299
(format ChineseTraditionalLanguage simpleInterest "%1 %n 是 對於 %3 的 simple 利息 %2 ") domainEnglishFormat.kif 2298-2298
(format EnglishLanguage simpleInterest "%1 is %n simple interest %2 for %3") domainEnglishFormat.kif 2297-2297
(termFormat ChineseLanguage simpleInterest "单纯的兴趣") domainEnglishFormat.kif 53065-53065
(termFormat ChineseTraditionalLanguage simpleInterest "單純的興趣") domainEnglishFormat.kif 53064-53064
(termFormat EnglishLanguage simpleInterest "simple interest") domainEnglishFormat.kif 53063-53063

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 513-519
(=>
    (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 550-556


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