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	Die Zahl 1 Argument von minimumPayment ist ein fall von LiabilityAccount %n{nicht}
(domain minimumPayment 2 CurrencyMeasure)	FinancialOntology.kif 754-754	Die Zahl 2 Argument von minimumPayment ist ein fall von CurrencyMeasure %n{nicht}
(domain minimumPayment 3 TimeDuration)	FinancialOntology.kif 755-755	Die Zahl 3 Argument von minimumPayment ist ein fall von TimeDuration %n{nicht}
(instance minimumPayment TernaryPredicate)	FinancialOntology.kif 752-752	minimumPayment ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage minimumPayment "%1 %n 是對於 %3 的 minimum 費用 %2 ")	domainEnglishFormat.kif 1743-1743
(format ChineseTraditionalLanguage minimumPayment "%1 %n 是對於 %3 的 minimum 費用 %2 ")	domainEnglishFormat.kif 1742-1742
(format EnglishLanguage minimumPayment "%1 is %n minimum payment %2 for %3")	domainEnglishFormat.kif 1741-1741
(termFormat ChineseLanguage minimumPayment "最低付费")	domainEnglishFormat.kif 37883-37883
(termFormat ChineseTraditionalLanguage minimumPayment "最低付費")	domainEnglishFormat.kif 37882-37882
(termFormat EnglishLanguage minimumPayment "minimum payment")	domainEnglishFormat.kif 37881-37881

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

Wenn LiabilityAccount ist ein fall von LiabilityAccount %n{nicht} und minimumPayment ** LiabilityAccount, RealNumber UnitOfMeasure(s) and MonthDuration und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und es gibt Process und TimeInterval um ** TimeInterval ist ein fall von Month %n{nicht} und ** Process endet an CurrencyFn ** LiabilityAccount %n{nicht} und paymentsPerPeriod ** LiabilityAccount, ** RealNumber ** UnitOfMeasure(s) and ** TimeInterval und ** ** RealNumber ist kleinerAls ** RealNumber %n{nicht},
dann es gibt ** Process um ** ** Process ist ein fall von Penalty %n{nicht} und ** ** Process endet an CurrencyFn ** LiabilityAccount %n{nicht}

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: