minimumPayment - Sigma Knowledge base Browser

appearance as argument number 1

(instance minimumPayment TernaryPredicate)	FinancialOntology.kif 774-774	minimum payment is an instance of ternary predicate
(domain minimumPayment 1 LiabilityAccount)	FinancialOntology.kif 775-775	The number 1 argument of minimum payment is an instance of liability account
(domain minimumPayment 2 CurrencyMeasure)	FinancialOntology.kif 776-776	The number 2 argument of minimum payment is an instance of currency measure
(domain minimumPayment 3 TimeDuration)	FinancialOntology.kif 777-777	The number 3 argument of minimum payment is an instance of time duration
(documentation minimumPayment EnglishLanguage "The smallest amount which can be paid on a revolving charge account to avoid a penalty.")	FinancialOntology.kif 778-779	The number 3 argument of minimum payment is an instance of time duration

appearance as argument number 2

(format EnglishLanguage minimumPayment "%1 is %n minimum payment %2 for %3")	domainEnglishFormat.kif 1745-1745
(format ChineseTraditionalLanguage minimumPayment "%1 %n 是對於 %3 的 minimum 費用 %2 ")	domainEnglishFormat.kif 1746-1746
(format ChineseLanguage minimumPayment "%1 %n 是對於 %3 的 minimum 費用 %2 ")	domainEnglishFormat.kif 1747-1747
(termFormat EnglishLanguage minimumPayment "minimum payment")	domainEnglishFormat.kif 37883-37883
(termFormat ChineseTraditionalLanguage minimumPayment "最低付費")	domainEnglishFormat.kif 37884-37884
(termFormat ChineseLanguage minimumPayment "最低付费")	domainEnglishFormat.kif 37885-37885

antecedent

(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account
            (MeasureFn ?MinPayment ?U) MonthDuration)
        (instance ?U UnitOfCurrency)
        (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)))))

If All of the following hold: (1) X is an instance of liability account (2) X is minimum payment Y Z(s) for month duration (3) Z is an instance of unit of currency (4) W is an instance of month (5) V ends up at the currency of X (6) X payments per period U Z(s) for W (7) U is less than Y, then there exists T such that T is an instance of penalizing and T ends up at the currency of X