fixedInterestRate |
appearance as argument number 1 |
![]() |
(documentation fixedInterestRate EnglishLanguage "(fixedInterestRate ?Account ?Rate) holds if ?Rate is the interest rate that does not change during the entire term of the account.") | FinancialOntology.kif 625-627 | |
(domain fixedInterestRate 1 FinancialAccount) | FinancialOntology.kif 623-623 | fixedInterestRate の数値 1 引数は FinancialAccount の instance では |
(domain fixedInterestRate 2 Number) | FinancialOntology.kif 624-624 | fixedInterestRate の数値 2 引数は 数 の instance では |
(instance fixedInterestRate BinaryPredicate) | FinancialOntology.kif 622-622 | fixedInterestRate は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage fixedInterestRate "%2 %n 是 %1 的 fixed 固定利息") | domainEnglishFormat.kif 1037-1037 | |
(format ChineseTraditionalLanguage fixedInterestRate "%2 %n 是 %1 的 fixed 固定利息") | domainEnglishFormat.kif 1036-1036 | |
(format EnglishLanguage fixedInterestRate "%2 is %n a fixed interest rate of %1") | domainEnglishFormat.kif 1035-1035 | |
(termFormat ChineseLanguage fixedInterestRate "固定利率") | domainEnglishFormat.kif 24127-24127 | |
(termFormat ChineseTraditionalLanguage fixedInterestRate "固定利率") | domainEnglishFormat.kif 24126-24126 | |
(termFormat EnglishLanguage fixedInterestRate "fixed interest rate") | domainEnglishFormat.kif 24125-24125 |
antecedent |
![]() |
(<=> (exists (?Rate) (fixedInterestRate ?Account ?Rate)) (instance ?Account FixedRateAccount)) |
FinancialOntology.kif 983-986 | 数 fixedInterestRate FinancialAccount and 数 FinancialAccount は FixedRateAccount の instance では |
(=> (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 540-550 |
|
![]() |
![]() |