simpleInterest - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - simpleInterest

simpleInterest

appearance as argument number 1

(documentation simpleInterest EnglishLanguage "(simpleInterest ?Account ?Amount ?Time) means that ?Amount is the interest calculated on a principal sum, not compounded on earned interest, for the duration ?Time.")	FinancialOntology.kif 534-536
(domain simpleInterest 1 FinancialAccount)	FinancialOntology.kif 531-531	The number 1 argument of simple interest is an instance of financial account
(domain simpleInterest 2 Interest)	FinancialOntology.kif 532-532	The number 2 argument of simple interest is an instance of interest
(domain simpleInterest 3 TimeInterval)	FinancialOntology.kif 533-533	The number 3 argument of simple interest is an instance of time interval
(instance simpleInterest TernaryPredicate)	FinancialOntology.kif 529-529	simple interest is an instance of ternary predicate
(subrelation simpleInterest interestEarned)	FinancialOntology.kif 530-530	simple interest is a subrelation of interest earned

appearance as argument number 2

(format ChineseLanguage simpleInterest "%1 %n 是对于 %3 的 simple 利息 %2 ")	domainEnglishFormat.kif 2307-2307
(format ChineseTraditionalLanguage simpleInterest "%1 %n 是對於 %3 的 simple 利息 %2 ")	domainEnglishFormat.kif 2306-2306
(format EnglishLanguage simpleInterest "%1 is %n simple interest %2 for %3")	domainEnglishFormat.kif 2305-2305
(termFormat ChineseLanguage simpleInterest "单纯的兴趣")	domainEnglishFormat.kif 53159-53159
(termFormat ChineseTraditionalLanguage simpleInterest "單純的興趣")	domainEnglishFormat.kif 53158-53158
(termFormat EnglishLanguage simpleInterest "simple interest")	domainEnglishFormat.kif 53157-53157

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 538-548	If a real number an unit of measure(s) is a principal amount of a financial account and another real number is a fixed interest rate of the financial account and the financial account is simple interest a third real number the unit of measure(s) for a time interval and the other real number_Decimal is equal to the other real number and 100, then the third real number is equal to the real number and the other real number_Decimal
(=> (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

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