TreeView 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 3858-3860
(domain paymentsPerPeriod 1 FinancialAccount)	FinancialOntology.kif 3855-3855	Die Zahl 1 Argument von paymentsPerPeriod ist ein fall von FinancialAccount %n{nicht}
(domain paymentsPerPeriod 2 CurrencyMeasure)	FinancialOntology.kif 3856-3856	Die Zahl 2 Argument von paymentsPerPeriod ist ein fall von CurrencyMeasure %n{nicht}
(domain paymentsPerPeriod 3 TimeInterval)	FinancialOntology.kif 3857-3857	Die Zahl 3 Argument von paymentsPerPeriod ist ein fall von TimeInterval %n{nicht}
(instance paymentsPerPeriod TernaryPredicate)	FinancialOntology.kif 3854-3854	paymentsPerPeriod ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage paymentsPerPeriod "%1 %n{不} payments 对于 %3 每周期 %2 ")	domainEnglishFormat.kif 1923-1923
(format ChineseTraditionalLanguage paymentsPerPeriod "%1 %n{不} payments 對於 %3 每周期 %2 ")	domainEnglishFormat.kif 1922-1922
(format EnglishLanguage paymentsPerPeriod "%1 %n{doesn't} payments per period %2 for %3")	domainEnglishFormat.kif 1921-1921
(termFormat ChineseLanguage paymentsPerPeriod "每期付款")	domainEnglishFormat.kif 44882-44882
(termFormat ChineseTraditionalLanguage paymentsPerPeriod "每期付款")	domainEnglishFormat.kif 44881-44881
(termFormat EnglishLanguage paymentsPerPeriod "payments per period")	domainEnglishFormat.kif 44880-44880

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

Wenn LiabilityAccount ist ein fall von LiabilityAccount %n{nicht} und minimumPayment ** LiabilityAccount, RealNumber UnitOfMeasure(s) and MonthDuration und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und es gibt Process und TimeInterval um ** TimeInterval ist ein fall von Month %n{nicht} und ** Process endet an CurrencyFn ** LiabilityAccount %n{nicht} und paymentsPerPeriod ** LiabilityAccount, ** RealNumber ** UnitOfMeasure(s) and ** TimeInterval und ** ** RealNumber ist kleinerAls ** RealNumber %n{nicht},
dann es gibt ** Process um ** ** Process ist ein fall von Penalty %n{nicht} und ** ** Process endet an CurrencyFn ** LiabilityAccount %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: