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

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 24049-24049
(termFormat ChineseTraditionalLanguage fixedInterestRate "固定利率") domainEnglishFormat.kif 24048-24048
(termFormat EnglishLanguage fixedInterestRate "fixed interest rate") domainEnglishFormat.kif 24047-24047

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


(<=>
    (exists (?Rate)
        (fixedInterestRate ?Account ?Rate))
    (instance ?Account FixedRateAccount))		 FinancialOntology.kif 925-928 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 531-540
(=>
    (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


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