Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  minimumPayment

Sigma KEE - minimumPayment
minimumPayment

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

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 37872-37872
(termFormat ChineseTraditionalLanguage minimumPayment "最低付費") domainEnglishFormat.kif 37871-37871
(termFormat EnglishLanguage minimumPayment "minimum payment") domainEnglishFormat.kif 37870-37870

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 758-774


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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