TreeView Knowledge Base Browser

appearance as argument number 1

(instance paymentsPerPeriod TernaryPredicate)	FinancialOntology.kif 3912-3912	payments per period is an instance of ternary predicate
(domain paymentsPerPeriod 1 FinancialAccount)	FinancialOntology.kif 3913-3913	The number 1 argument of payments per period is an instance of financial account
(domain paymentsPerPeriod 2 CurrencyMeasure)	FinancialOntology.kif 3914-3914	The number 2 argument of payments per period is an instance of currency measure
(domain paymentsPerPeriod 3 TimeInterval)	FinancialOntology.kif 3915-3915	The number 3 argument of payments per period is an instance of timeframe
(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 3916-3918	The number 3 argument of payments per period is an instance of timeframe

appearance as argument number 2

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

antecedent

(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account
            (MeasureFn ?MinPayment ?U) MonthDuration)
        (instance ?U UnitOfCurrency)
        (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)))))

If All of the following hold: (1) X is an instance of liability account (2) X is minimum payment Y Z(s) for month duration (3) Z is an instance of unit of currency (4) W is an instance of month (5) V ends up at the currency of X (6) X payments per period U Z(s) for W (7) U is less than Y, then there exists T such that T is an instance of penalizing and T ends up at the currency of X