paymentsPerPeriod - Sigma Knowledge base Browser

appearance as argument number 1

(documentation paymentsPerPeriod EnglishLanguage "(paymentsPerPeriod ?Account ?Amount ?Period) holds if ?Amount is the amount paid on the FinancialAccount ?Account during the time period ?Period.")	FinancialOntology.kif 3872-3874
(domain paymentsPerPeriod 1 FinancialAccount)	FinancialOntology.kif 3869-3869	The number 1 argument of payments per period is an instance of financial account
(domain paymentsPerPeriod 2 CurrencyMeasure)	FinancialOntology.kif 3870-3870	The number 2 argument of payments per period is an instance of currency measure
(domain paymentsPerPeriod 3 TimeInterval)	FinancialOntology.kif 3871-3871	The number 3 argument of payments per period is an instance of time interval
(instance paymentsPerPeriod TernaryPredicate)	FinancialOntology.kif 3868-3868	payments per period is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage paymentsPerPeriod "%1 %n{不} payments 对于 %3 每周期 %2 ")	domainEnglishFormat.kif 1927-1927
(format ChineseTraditionalLanguage paymentsPerPeriod "%1 %n{不} payments 對於 %3 每周期 %2 ")	domainEnglishFormat.kif 1926-1926
(format EnglishLanguage paymentsPerPeriod "%1 %n{doesn't} payments per period %2 for %3")	domainEnglishFormat.kif 1925-1925
(termFormat ChineseLanguage paymentsPerPeriod "每期付款")	domainEnglishFormat.kif 44911-44911
(termFormat ChineseTraditionalLanguage paymentsPerPeriod "每期付款")	domainEnglishFormat.kif 44910-44910
(termFormat EnglishLanguage paymentsPerPeriod "payments per period")	domainEnglishFormat.kif 44909-44909

antecedent

(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account
            (MeasureFn ?MinPayment ?U) MonthDuration)
        (instance ?U UnitOfCurrency)
        (exists (?Payment ?Month)
            (and
                (instance ?Month Month)
                (destination ?Payment
                    (CurrencyFn ?Account))
                (paymentsPerPeriod ?Account
                    (MeasureFn ?Amount ?U) ?Month)
                (lessThan ?Amount ?MinPayment))))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?Account)))))

FinancialOntology.kif 759-775

If a liability account is an instance of liability account and the liability account is minimum payment a real number an unit of measure(s) for month duration and the unit of measure is an instance of unit of currency and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another real number the unit of measure(s) for the time interval and the other real number is less than the real number,
then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the liability account

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

KB Term:			Term intersection

English Word: