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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 709-710
(domain minimumPayment 1 LiabilityAccount) FinancialOntology.kif 706-706 The number 1 argument of minimum payment is an instance of liability account
(domain minimumPayment 2 CurrencyMeasure) FinancialOntology.kif 707-707 The number 2 argument of minimum payment is an instance of currency measure
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 708-708 The number 3 argument of minimum payment is an instance of time duration
(instance minimumPayment TernaryPredicate) FinancialOntology.kif 705-705 minimum payment is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format EnglishLanguage minimumPayment "%1 %n{doesn't} minimum payment %2 for %3") domainEnglishFormat.kif 444-444
(termFormat EnglishLanguage minimumPayment "minimum payment") domainEnglishFormat.kif 6734-6734 "minimum payment" is the printable form of minimum payment in english language

antecedent
-------------------------


(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account ?MinPayment MonthDuration)
        (exists (?Payment ?Month)
            (and
                (instance ?Month Month)
                (destination ?Payment
                    (CurrencyFn ?Account))
                (paymentsPerPeriod ?Account ?Amount ?Month)
                (lessThan ?Amount ?MinPayment))))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 712-725


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners