TreeView Knowledge Base Browser

appearance as argument number 1

(documentation minimumPayment EnglishLanguage "The smallest amount which can be paid on a revolving charge account to avoid a penalty.")	FinancialOntology.kif 756-757
(domain minimumPayment 1 LiabilityAccount)	FinancialOntology.kif 753-753	最低付费的 1 数量是责任账户的 instance
(domain minimumPayment 2 CurrencyMeasure)	FinancialOntology.kif 754-754	最低付费的 2 数量是货币测量的 instance
(domain minimumPayment 3 TimeDuration)	FinancialOntology.kif 755-755	最低付费的 3 数量是持续时间的 instance
(instance minimumPayment TernaryPredicate)	FinancialOntology.kif 752-752	最低付费是三元谓语的 instance

appearance as argument number 2

(format ChineseLanguage minimumPayment "%1 %n 是對於 %3 的 minimum 費用 %2 ")	domainEnglishFormat.kif 1743-1743
(format ChineseTraditionalLanguage minimumPayment "%1 %n 是對於 %3 的 minimum 費用 %2 ")	domainEnglishFormat.kif 1742-1742
(format EnglishLanguage minimumPayment "%1 is %n minimum payment %2 for %3")	domainEnglishFormat.kif 1741-1741
(termFormat ChineseLanguage minimumPayment "最低付费")	domainEnglishFormat.kif 37912-37912
(termFormat ChineseTraditionalLanguage minimumPayment "最低付費")	domainEnglishFormat.kif 37911-37911
(termFormat EnglishLanguage minimumPayment "minimum payment")	domainEnglishFormat.kif 37910-37910

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

如果责任账户是责任账户的 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: