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


KB Term:  Term intersection
English Word: 

  Foot

 Sigma KEE - interestRatePerPeriod
interestRatePerPeriod

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


(instance interestRatePerPeriod TernaryPredicate) FinancialOntology.kif 600-600 interest rate per period is an instance of ternary predicate
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 601-601 The number 1 argument of interest rate per period is an instance of financial account
(domain interestRatePerPeriod 2 RealNumber) FinancialOntology.kif 602-602 The number 2 argument of interest rate per period is an instance of real number
(domain interestRatePerPeriod 3 TimeInterval) FinancialOntology.kif 603-603 The number 3 argument of interest rate per period is an instance of timeframe
(documentation interestRatePerPeriod EnglishLanguage "(interestRatePerPeriod ?ACCOUNT ?RATE ?TIME) means that ?RATE is the interest per the period TIME divided by principal amount, expressed as a percentage") FinancialOntology.kif 604-606 The number 3 argument of interest rate per period is an instance of timeframe

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


(format EnglishLanguage interestRatePerPeriod "%1 is %n interest rate per period %2 for %3") domainEnglishFormat.kif 1363-1363
(format ChineseTraditionalLanguage interestRatePerPeriod "%1 %n 是 對於 %3 每周期 %2 的 interest 速率") domainEnglishFormat.kif 1364-1364
(format ChineseLanguage interestRatePerPeriod "%1 %n 是 对于 %3 每周期 %2 的 interest 速率") domainEnglishFormat.kif 1365-1365
(termFormat EnglishLanguage interestRatePerPeriod "interest rate per period") domainEnglishFormat.kif 30429-30429
(termFormat ChineseTraditionalLanguage interestRatePerPeriod "每期利率") domainEnglishFormat.kif 30430-30430
(termFormat ChineseLanguage interestRatePerPeriod "每期利率") domainEnglishFormat.kif 30431-30431

consequent
-------------------------


(=>
    (and
        (simpleInterest ?Account
            (MeasureFn ?Interest ?CUNIT) ?Period)
        (principalAmount ?Account
            (MeasureFn ?Principal ?CUNIT))
        (equal ?Rate_Decimal
            (DivisionFn ?Interest ?Principal))
        (equal ?Rate
            (MultiplicationFn ?Rate_Decimal 100.0)))
    (interestRatePerPeriod ?Account ?Rate ?Period))		 FinancialOntology.kif 608-618 If X is simple interest Y Z(s) for W, V Z(s) is a principal amount of X, equal ?Rate_Decimal, Y, and V, and equal U, ?Rate_Decimal, and 100.0, then X is interest rate per period U for W
(=>
    (instance ?Account InterestBearingAccount)
    (exists (?Rate ?Period)
        (interestRatePerPeriod ?Account ?Rate ?Period)))		 FinancialOntology.kif 993-996 If X is an instance of interest bearing account, then there exist Y and Z such that X is interest rate per period Y for Z


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