minimumPayment - Sigma Knowledge base Browser

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	The number 1 argument of minimum payment is an instance of liability account
(domain minimumPayment 2 CurrencyMeasure)	FinancialOntology.kif 754-754	The number 2 argument of minimum payment is an instance of currency measure
(domain minimumPayment 3 TimeDuration)	FinancialOntology.kif 755-755	The number 3 argument of minimum payment is an instance of time duration
(instance minimumPayment TernaryPredicate)	FinancialOntology.kif 752-752	minimum payment is an instance of ternary predicate

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

If a liability account is an instance of liability account and the liability account is minimum payment a real number an unit of measure(s) for month duration and the unit of measure is an instance of unit of currency and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another real number the unit of measure(s) for the time interval and the other real number is less than the real number,
then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the liability account

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

KB Term:			Term intersection

English Word: