paymentsPerPeriod - Sigma Knowledge base Browser

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