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 623-625 | |
(domain fixedInterestRate 1 FinancialAccount) | FinancialOntology.kif 621-621 | Il numero 1 argomenti di fixedInterestRate è un istanza di FinancialAccount |
(domain fixedInterestRate 2 Number) | FinancialOntology.kif 622-622 | Il numero 2 argomenti di fixedInterestRate è un istanza di Numero |
(instance fixedInterestRate BinaryPredicate) | FinancialOntology.kif 620-620 | fixedInterestRate è un' istanza di PredicatoBinario |
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 24122-24122 | |
(termFormat ChineseTraditionalLanguage fixedInterestRate "固定利率") | domainEnglishFormat.kif 24121-24121 | |
(termFormat EnglishLanguage fixedInterestRate "fixed interest rate") | domainEnglishFormat.kif 24120-24120 |
antecedent |
(<=> (exists (?Rate) (fixedInterestRate ?Account ?Rate)) (instance ?Account FixedRateAccount)) |
FinancialOntology.kif 981-984 | Numero fixedInterestRate FinancialAccount and Numero FinancialAccount è un' istanza di FixedRateAccount |
(=> (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 |
|