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 3876-3878
(domain paymentsPerPeriod 1 FinancialAccount)	FinancialOntology.kif 3873-3873	每期付款的 1 数量是金融账户的 instance
(domain paymentsPerPeriod 2 CurrencyMeasure)	FinancialOntology.kif 3874-3874	每期付款的 2 数量是货币测量的 instance
(domain paymentsPerPeriod 3 TimeInterval)	FinancialOntology.kif 3875-3875	每期付款的 3 数量是时距的 instance
(instance paymentsPerPeriod TernaryPredicate)	FinancialOntology.kif 3872-3872	每期付款是三元谓语的 instance

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 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 761-777

如果责任账户是责任账户的 instance 和那个责任账户是對於月持续时间的 minimum 費用实数测量单位和那个测量单位是 UnitOfCurrency 的 instance 和有存在过程和时距这样那个时距是月的 instance 和那个过程在那个责任账户的 currency 结束和那个责任账户 payments 对于那个时距每周期另一个实数那个测量单位和那个另外实数是 lessThan 那个实数，
然后有存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个责任账户的 currency 结束

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

KB Term:			Term intersection

English Word: