| 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 3699-3701 | |
| (domain paymentsPerPeriod 1 FinancialAccount) | FinancialOntology.kif 3696-3696 | domain paymentsPerPeriod, 1 and FinancialAccount |
| (domain paymentsPerPeriod 2 CurrencyMeasure) | FinancialOntology.kif 3697-3697 | domain paymentsPerPeriod, 2 and CurrencyMeasure |
| (domain paymentsPerPeriod 3 TimeInterval) | FinancialOntology.kif 3698-3698 | domain paymentsPerPeriod, 3 and TimeInterval |
| (instance paymentsPerPeriod TernaryPredicate) | FinancialOntology.kif 3695-3695 | instance paymentsPerPeriod and TernaryPredicate |
| 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 44773-44773 | |
| (termFormat ChineseTraditionalLanguage paymentsPerPeriod "每期付款") | domainEnglishFormat.kif 44772-44772 | |
| (termFormat EnglishLanguage paymentsPerPeriod "payments per period") | domainEnglishFormat.kif 44771-44771 |
| antecedent |
|
|
| (=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account ?MinPayment MonthDuration) (exists (?Payment ?Month) (and (instance ?Month Month) (destination ?Payment (CurrencyFn ?Account)) (paymentsPerPeriod ?Account ?Amount ?Month) (lessThan ?Amount ?MinPayment)))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account))))) |
FinancialOntology.kif 711-724 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners