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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 708-709
(domain minimumPayment 1 LiabilityAccount) FinancialOntology.kif 705-705
(domain minimumPayment 2 CurrencyMeasure) FinancialOntology.kif 706-706
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 707-707
(instance minimumPayment TernaryPredicate) FinancialOntology.kif 704-704

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


        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account ?MinPayment MonthDuration)
        (exists (?Payment ?Month)
                (instance ?Month Month)
                (destination ?Payment
                    (CurrencyFn ?Account))
                (paymentsPerPeriod ?Account ?Amount ?Month)
                (lessThan ?Amount ?MinPayment))))
    (exists (?Penalty)
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 711-724

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