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 The number 1 argument of simple interest is an instance of financial account
(domain simpleInterest 2 Interest) FinancialOntology.kif 507-507 The number 2 argument of simple interest is an instance of interest
(domain simpleInterest 3 TimeInterval) FinancialOntology.kif 508-508 The number 3 argument of simple interest is an instance of time interval
(instance simpleInterest TernaryPredicate) FinancialOntology.kif 504-504 simple interest is an instance of ternary predicate
(subrelation simpleInterest interestEarned) FinancialOntology.kif 505-505 simple interest is a subrelation of interest earned

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 "单纯的兴趣" is the printable form of simple interest in ChineseLanguage
(termFormat ChineseTraditionalLanguage simpleInterest "單純的興趣") domainEnglishFormat.kif 53064-53064 "單純的興趣" is the printable form of simple interest in ChineseTraditionalLanguage
(termFormat EnglishLanguage simpleInterest "simple interest") domainEnglishFormat.kif 53063-53063 "simple interest" is the printable form of simple interest in english language

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