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 583-585
(domain interestRatePerPeriod 1 FinancialAccount)	FinancialOntology.kif 580-580	The number 1 argument of interest rate per period is an instance of financial account
(domain interestRatePerPeriod 2 RealNumber)	FinancialOntology.kif 581-581	The number 2 argument of interest rate per period is an instance of real number
(domain interestRatePerPeriod 3 TimeInterval)	FinancialOntology.kif 582-582	The number 3 argument of interest rate per period is an instance of time interval
(instance interestRatePerPeriod TernaryPredicate)	FinancialOntology.kif 579-579	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 30461-30461
(termFormat ChineseTraditionalLanguage interestRatePerPeriod "每期利率")	domainEnglishFormat.kif 30460-30460
(termFormat EnglishLanguage interestRatePerPeriod "interest rate per period")	domainEnglishFormat.kif 30459-30459

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 587-597	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 971-974	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