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


s__documentation(s__minimumPayment__m,s__EnglishLanguage,'"The smallest amount which can be paid on a revolving charge account to avoid a penalty."')

FinancialOntology.kif 715-716
s__domain(s__minimumPayment__m,n__1,s__LiabilityAccount)

FinancialOntology.kif 712-712 The number 1 argument of minimum payment is an instance of liability account
s__domain(s__minimumPayment__m,n__2,s__CurrencyMeasure)

FinancialOntology.kif 713-713 The number 2 argument of minimum payment is an instance of currency measure
s__domain(s__minimumPayment__m,n__3,s__TimeDuration)

FinancialOntology.kif 714-714 The number 3 argument of minimum payment is an instance of time duration
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__minimumPayment__m,s__TernaryPredicate)

FinancialOntology.kif 711-711 minimum payment is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__minimumPayment__m,'"%1 %n 是 對於 %3 的 minimum 費用 %2 "')

domainEnglishFormat.kif 1743-1743
s__format(s__ChineseTraditionalLanguage,s__minimumPayment__m,'"%1 %n 是 對於 %3 的 minimum 費用 %2 "')

domainEnglishFormat.kif 1742-1742
s__format(s__EnglishLanguage,s__minimumPayment__m,'"%1 is %n minimum payment %2 for %3"')

domainEnglishFormat.kif 1741-1741
s__termFormat(s__ChineseLanguage,s__minimumPayment__m,'"最低付费"')

domainEnglishFormat.kif 37872-37872
s__termFormat(s__ChineseTraditionalLanguage,s__minimumPayment__m,'"最低付費"')

domainEnglishFormat.kif 37871-37871
s__termFormat(s__EnglishLanguage,s__minimumPayment__m,'"minimum payment"')

domainEnglishFormat.kif 37870-37870

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


( ! [V__Amount,V__MinPayment,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__MinPayment,s__RealNumber))
       =>
       (((s__instance(V__Account,s__LiabilityAccount) &
             s__minimumPayment(V__Account,s__MeasureFn(V__MinPayment,V__U)
          ,s__MonthDuration) &
           s__instance(V__U,s__UnitOfCurrency) &
           ( ? [V__Payment, V__Month] :
             ((s__instance(V__Payment,s__Process) &
                 (s__instance(V__Month,s__Month) &
                   s__destination(V__Payment,s__CurrencyFn(V__Account))
               &
               s__paymentsPerPeriod(V__Account,s__MeasureFn(V__Amount,V__U)
            ,V__Month)
           &
           s__lessThan(V__Amount,V__MinPayment))))))
=>
(( ? [V__Penalty] :
   ((s__instance(V__Penalty,s__Penalty) &
       s__destination(V__Penalty,s__CurrencyFn(V__Account)))))))))
)
)

FinancialOntology.kif 718-734


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