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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - paymentsPerPeriod
paymentsPerPeriod

appearance as argument number 1
-------------------------


s__documentation(s__paymentsPerPeriod__m,s__EnglishLanguage,'"(paymentsPerPeriod ?Account ?Amount ?Period) holds if ?Amount is the amount paid on the FinancialAccount ?Account during the time period ?Period."')

FinancialOntology.kif 3768-3770
s__domain(s__paymentsPerPeriod__m,n__1,s__FinancialAccount)

FinancialOntology.kif 3765-3765 The number 1 argument of payments per period is an instance of financial account
s__domain(s__paymentsPerPeriod__m,n__2,s__CurrencyMeasure)

FinancialOntology.kif 3766-3766 The number 2 argument of payments per period is an instance of currency measure
s__domain(s__paymentsPerPeriod__m,n__3,s__TimeInterval)

FinancialOntology.kif 3767-3767 The number 3 argument of payments per period is an instance of time interval
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__paymentsPerPeriod__m,s__TernaryPredicate)

FinancialOntology.kif 3764-3764 payments per period is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__paymentsPerPeriod__m,'"%1 %n{不} payments 对于 %3 每周期 %2 "')

domainEnglishFormat.kif 1923-1923
s__format(s__ChineseTraditionalLanguage,s__paymentsPerPeriod__m,'"%1 %n{不} payments 對於 %3 每周期 %2 "')

domainEnglishFormat.kif 1922-1922
s__format(s__EnglishLanguage,s__paymentsPerPeriod__m,'"%1 %n{doesnt} payments per period %2 for %3"')

domainEnglishFormat.kif 1921-1921
s__termFormat(s__ChineseLanguage,s__paymentsPerPeriod__m,'"每期付款"')

domainEnglishFormat.kif 44857-44857
s__termFormat(s__ChineseTraditionalLanguage,s__paymentsPerPeriod__m,'"每期付款"')

domainEnglishFormat.kif 44856-44856
s__termFormat(s__EnglishLanguage,s__paymentsPerPeriod__m,'"payments per period"')

domainEnglishFormat.kif 44855-44855

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