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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fixedInterestRate

Sigma KEE - fixedInterestRate
fixedInterestRate

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


(documentation fixedInterestRate EnglishLanguage "(fixedInterestRate ?Account ?Rate) holds if ?Rate is the interest rate that does not change during the entire term of the account.") FinancialOntology.kif 623-625
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 621-621 The number 1 argument of fixed interest rate is an instance of financial account
(domain fixedInterestRate 2 Number) FinancialOntology.kif 622-622 The number 2 argument of fixed interest rate is an instance of number
(instance fixedInterestRate BinaryPredicate) FinancialOntology.kif 620-620 fixed interest rate is an instance of binary predicate

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


(format ChineseLanguage fixedInterestRate "%2 %n 是 %1 的 fixed 固定利息") domainEnglishFormat.kif 1037-1037
(format ChineseTraditionalLanguage fixedInterestRate "%2 %n 是 %1 的 fixed 固定利息") domainEnglishFormat.kif 1036-1036
(format EnglishLanguage fixedInterestRate "%2 is %n a fixed interest rate of %1") domainEnglishFormat.kif 1035-1035
(termFormat ChineseLanguage fixedInterestRate "固定利率") domainEnglishFormat.kif 24122-24122
(termFormat ChineseTraditionalLanguage fixedInterestRate "固定利率") domainEnglishFormat.kif 24121-24121
(termFormat EnglishLanguage fixedInterestRate "fixed interest rate") domainEnglishFormat.kif 24120-24120

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


(<=>
    (exists (?Rate)
        (fixedInterestRate ?Account ?Rate))
    (instance ?Account FixedRateAccount))
FinancialOntology.kif 981-984 There exists a number such that the number is a fixed interest rate of a financial account if and only if the financial account is an instance of fixed rate account
(=>
    (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


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