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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 583-585
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 581-581 The number 1 argument of fixed interest rate is an instance of financial account
(domain fixedInterestRate 2 InterestRate) FinancialOntology.kif 582-582 The number 2 argument of fixed interest rate is an instance of interest rate
(instance fixedInterestRate BinaryPredicate) FinancialOntology.kif 580-580 fixed interest rate is an instance of binary predicate

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


(format EnglishLanguage fixedInterestRate "%2 is %n a fixed interest rate of %1") domainEnglishFormat.kif 267-267
(termFormat EnglishLanguage fixedInterestRate "fixed interest rate") domainEnglishFormat.kif 4442-4442 "fixed interest rate" is the printable form of fixed interest rate in english language

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


(<=>
    (exists (?Rate)
        (fixedInterestRate ?Account ?Rate))
    (instance ?Account FixedRateAccount))
FinancialOntology.kif 926-929 There exists an interest rate such that the interest rate 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 ?Balance)
        (fixedInterestRate ?Account ?Rate)
        (compoundInterest ?Account ?Interest ?Period)
        (equal ?Rate-Decimal
            (DivisionFn ?Rate 100))
        (equal ?Add
            (AdditionFn 1 ?Rate-Decimal))
        (equal ?Exponent
            (ExponentiationFn ?Add
                (MagnitudeFn ?Period)))
        (equal ?Multiply
            (MultiplicationFn ?Exponent ?Balance)))
    (equal ?Interest
        (SubtractionFn ?Multiply ?Balance)))
FinancialOntology.kif 532-541
(=>
    (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


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