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 domain fixedInterestRate, 1 and FinancialAccount
(domain fixedInterestRate 2 InterestRate) FinancialOntology.kif 582-582 domain fixedInterestRate, 2 and InterestRate
(instance fixedInterestRate BinaryPredicate) FinancialOntology.kif 580-580 instance fixedInterestRate and 2進述語

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 termFormat EnglishLanguage, fixedInterestRate and "fixed interest rate"

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


(<=>
    (exists (?Rate)
        (fixedInterestRate ?Account ?Rate))
    (instance ?Account FixedRateAccount))		 FinancialOntology.kif 926-929 InterestRate fixedInterestRate FinancialAccount and InterestRate instance FinancialAccount and FixedRateAccount
(=>
    (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