Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1En2Ra3Re4En5Ra6In7EnFn

 Sigma KEE - fixedInterestRate
fixedInterestRate

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


(instance fixedInterestRate BinaryPredicate) FinancialOntology.kif 641-641 fixed interest rate is an instance of binary predicate
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 642-642 The number 1 argument of fixed interest rate is an instance of financial account
(domain fixedInterestRate 2 Number) FinancialOntology.kif 643-643 The number 2 argument of fixed interest rate is an instance of number
(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 644-646 The number 2 argument of fixed interest rate is an instance of number

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


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

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 559-569 If X Y(s) is a principal amount of Z, W is a fixed interest rate of Z, Z is simple interest V Y(s) for U, and equal ?Rate_Decimal, W, and 100, then equal V, X, and ?Rate_Decimal
(<=>
    (exists (?Rate)
        (fixedInterestRate ?Account ?Rate))
    (instance ?Account FixedRateAccount))		 FinancialOntology.kif 1003-1006 There exists X such that X is a fixed interest rate of Y if and only if Y is an instance of fixed rate account


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners