| 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 | |
| (domain minimumPayment 2 CurrencyMeasure) | FinancialOntology.kif 754-754 | |
| (domain minimumPayment 3 TimeDuration) | FinancialOntology.kif 755-755 | |
| (instance minimumPayment TernaryPredicate) | FinancialOntology.kif 752-752 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage minimumPayment "%1 %n 是 對於 %3 的 minimum 費用 %2 ") | domainEnglishFormat.kif 1747-1747 | |
| (format ChineseTraditionalLanguage minimumPayment "%1 %n 是 對於 %3 的 minimum 費用 %2 ") | domainEnglishFormat.kif 1746-1746 | |
| (format EnglishLanguage minimumPayment "%1 is %n minimum payment %2 for %3") | domainEnglishFormat.kif 1745-1745 | |
| (termFormat ChineseLanguage minimumPayment "最低付费") | domainEnglishFormat.kif 37909-37909 | |
| (termFormat ChineseTraditionalLanguage minimumPayment "最低付費") | domainEnglishFormat.kif 37908-37908 | |
| (termFormat EnglishLanguage minimumPayment "minimum payment") | domainEnglishFormat.kif 37907-37907 |
| 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 |
|
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 3.0 is open source software produced by Articulate Software and its partners