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 | 域 單純的興趣, 1 and 金融賬戶 |
(domain simpleInterest 2 Interest) | FinancialOntology.kif 532-532 | 域 單純的興趣, 2 and 利益 |
(domain simpleInterest 3 TimeInterval) | FinancialOntology.kif 533-533 | 域 單純的興趣, 3 and TimeInterval |
(instance simpleInterest TernaryPredicate) | FinancialOntology.kif 529-529 | 例 單純的興趣 and TernaryPredicate |
(subrelation simpleInterest interestEarned) | FinancialOntology.kif 530-530 | 子關係 單純的興趣 and 利息收入 |
appearance as argument number 2 |
(format ChineseLanguage simpleInterest "%1 %n 是 对于 %3 的 simple 利息 %2 ") | domainEnglishFormat.kif 2303-2303 | |
(format ChineseTraditionalLanguage simpleInterest "%1 %n 是 對於 %3 的 simple 利息 %2 ") | domainEnglishFormat.kif 2302-2302 | |
(format EnglishLanguage simpleInterest "%1 is %n simple interest %2 for %3") | domainEnglishFormat.kif 2301-2301 | |
(termFormat ChineseLanguage simpleInterest "单纯的兴趣") | domainEnglishFormat.kif 53128-53128 | |
(termFormat ChineseTraditionalLanguage simpleInterest "單純的興趣") | domainEnglishFormat.kif 53127-53127 | |
(termFormat EnglishLanguage simpleInterest "simple interest") | domainEnglishFormat.kif 53126-53126 |
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 |
|
(=> (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 |
|