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

Formal Language: 



KB Term:  Term intersection
English Word: 

  simpleInterest

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 534-536
(domain simpleInterest 1 FinancialAccount) FinancialOntology.kif 531-531 Die Zahl 1 Argument von simpleInterest ist ein fall von FinancialAccount %n{nicht}
(domain simpleInterest 2 Interest) FinancialOntology.kif 532-532 Die Zahl 2 Argument von simpleInterest ist ein fall von Interest %n{nicht}
(domain simpleInterest 3 TimeInterval) FinancialOntology.kif 533-533 Die Zahl 3 Argument von simpleInterest ist ein fall von TimeInterval %n{nicht}
(instance simpleInterest TernaryPredicate) FinancialOntology.kif 529-529 simpleInterest ist ein fall von TernaryPredicate %n{nicht}
(subrelation simpleInterest interestEarned) FinancialOntology.kif 530-530 simpleInterest ist eine teilrelation von interestEarned

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


(format ChineseLanguage simpleInterest "%1 %n 是 对于 %3 的 simple 利息 %2 ") domainEnglishFormat.kif 2303-2303
(format ChineseTraditionalLanguage simpleInterest "%1 %n 是 對於 %3 的 simple 利息 %2 ") domainEnglishFormat.kif 2302-2302
(format EnglishLanguage simpleInterest "%1 is %n simple interest %2 for %3") domainEnglishFormat.kif 2301-2301
(termFormat ChineseLanguage simpleInterest "单纯的兴趣") domainEnglishFormat.kif 53128-53128
(termFormat ChineseTraditionalLanguage simpleInterest "單純的興趣") domainEnglishFormat.kif 53127-53127
(termFormat EnglishLanguage simpleInterest "simple interest") domainEnglishFormat.kif 53126-53126

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


(=>
    (and
        (principalAmount ?Account
            (MeasureFn ?Balance ?CUNIT))
        (fixedInterestRate ?Account ?Rate)
        (simpleInterest ?Account
            (MeasureFn ?Amount ?CUNIT) ?Period)
        (equal ?Rate-Decimal
            (DivisionFn ?Rate 100)))
    (equal ?Amount
        (MultiplicationFn ?Balance ?Rate-Decimal)))
FinancialOntology.kif 538-548
(=>
    (and
        (simpleInterest ?Account
            (MeasureFn ?Interest ?CUNIT) ?Period)
        (principalAmount ?Account
            (MeasureFn ?Principal ?CUNIT))
        (equal ?Rate-Decimal
            (DivisionFn ?Interest ?Principal))
        (equal ?Rate
            (MultiplicationFn ?Rate-Decimal 100.0)))
    (interestRatePerPeriod ?Account ?Rate ?Period))
FinancialOntology.kif 587-597


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 3.0 is open source software produced by Articulate Software and its partners