paymentsPerPeriod |
appearance as argument number 1 |
(documentation paymentsPerPeriod EnglishLanguage "(paymentsPerPeriod ?Account ?Amount ?Period) holds if ?Amount is the amount paid on the FinancialAccount ?Account during the time period ?Period.") | FinancialOntology.kif 3858-3860 | |
(domain paymentsPerPeriod 1 FinancialAccount) | FinancialOntology.kif 3855-3855 | 每期付款 的 1 数量 是 金融账户 的 instance |
(domain paymentsPerPeriod 2 CurrencyMeasure) | FinancialOntology.kif 3856-3856 | 每期付款 的 2 数量 是 货币测量 的 instance |
(domain paymentsPerPeriod 3 TimeInterval) | FinancialOntology.kif 3857-3857 | 每期付款 的 3 数量 是 时距 的 instance |
(instance paymentsPerPeriod TernaryPredicate) | FinancialOntology.kif 3854-3854 | 每期付款 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage paymentsPerPeriod "%1 %n{不} payments 对于 %3 每周期 %2 ") | domainEnglishFormat.kif 1923-1923 | |
(format ChineseTraditionalLanguage paymentsPerPeriod "%1 %n{不} payments 對於 %3 每周期 %2 ") | domainEnglishFormat.kif 1922-1922 | |
(format EnglishLanguage paymentsPerPeriod "%1 %n{doesn't} payments per period %2 for %3") | domainEnglishFormat.kif 1921-1921 | |
(termFormat ChineseLanguage paymentsPerPeriod "每期付款") | domainEnglishFormat.kif 44880-44880 | |
(termFormat ChineseTraditionalLanguage paymentsPerPeriod "每期付款") | domainEnglishFormat.kif 44879-44879 | |
(termFormat EnglishLanguage paymentsPerPeriod "payments per period") | domainEnglishFormat.kif 44878-44878 |
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 |
|