minimumPayment |
appearance as argument number 1 |
(documentation minimumPayment EnglishLanguage "The smallest amount which can be paid on a revolving charge account to avoid a penalty.") | FinancialOntology.kif 756-757 | |
(domain minimumPayment 1 LiabilityAccount) | FinancialOntology.kif 753-753 | 最低付费 的 1 数量 是 责任账户 的 instance |
(domain minimumPayment 2 CurrencyMeasure) | FinancialOntology.kif 754-754 | 最低付费 的 2 数量 是 货币测量 的 instance |
(domain minimumPayment 3 TimeDuration) | FinancialOntology.kif 755-755 | 最低付费 的 3 数量 是 持续时间 的 instance |
(instance minimumPayment TernaryPredicate) | FinancialOntology.kif 752-752 | 最低付费 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage minimumPayment "%1 %n 是 對於 %3 的 minimum 費用 %2 ") | domainEnglishFormat.kif 1743-1743 | |
(format ChineseTraditionalLanguage minimumPayment "%1 %n 是 對於 %3 的 minimum 費用 %2 ") | domainEnglishFormat.kif 1742-1742 | |
(format EnglishLanguage minimumPayment "%1 is %n minimum payment %2 for %3") | domainEnglishFormat.kif 1741-1741 | |
(termFormat ChineseLanguage minimumPayment "最低付费") | domainEnglishFormat.kif 37883-37883 | |
(termFormat ChineseTraditionalLanguage minimumPayment "最低付費") | domainEnglishFormat.kif 37882-37882 | |
(termFormat EnglishLanguage minimumPayment "minimum payment") | domainEnglishFormat.kif 37881-37881 |
antecedent |
(=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account (MeasureFn ?MinPayment ?U) MonthDuration) (instance ?U UnitOfCurrency) (exists (?Payment ?Month) (and (instance ?Month Month) (destination ?Payment (CurrencyFn ?Account)) (paymentsPerPeriod ?Account (MeasureFn ?Amount ?U) ?Month) (lessThan ?Amount ?MinPayment)))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account))))) |
FinancialOntology.kif 759-775 |
|