interestRatePerPeriod - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - interestRatePerPeriod

interestRatePerPeriod

appearance as argument number 1

(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 585-587
(domain interestRatePerPeriod 1 FinancialAccount)	FinancialOntology.kif 582-582	The number 1 argument of interest rate per period is an instance of financial account
(domain interestRatePerPeriod 2 RealNumber)	FinancialOntology.kif 583-583	The number 2 argument of interest rate per period is an instance of real number
(domain interestRatePerPeriod 3 TimeInterval)	FinancialOntology.kif 584-584	The number 3 argument of interest rate per period is an instance of time interval
(instance interestRatePerPeriod TernaryPredicate)	FinancialOntology.kif 581-581	interest rate per period is an instance of ternary predicate

appearance as argument number 2

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

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 589-599	If a financial account is simple interest a real number an unit of measure(s) for a time interval and another real number the unit of measure(s) is a principal amount of the financial account and a third real number_Decimal is equal to the real number and the other real number and the third real number is equal to the third real number_Decimal and 100.0, then the financial account is interest rate per period the third real number for the time interval
(=> (instance ?Account InterestBearingAccount) (exists (?Rate ?Period) (interestRatePerPeriod ?Account ?Rate ?Period)))	FinancialOntology.kif 973-976	If a financial account is an instance of interest bearing account, then there exist a real number and a time interval such that the financial account is interest rate per period the real number for the time interval

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 3.0 is open source software produced by Articulate Software and its partners