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 3692-3694
(domain paymentsPerPeriod 1 FinancialAccount)	FinancialOntology.kif 3689-3689	paymentsPerPeriod 的 1 数量是 FinancialAccount 的 instance
(domain paymentsPerPeriod 2 CurrencyMeasure)	FinancialOntology.kif 3690-3690	paymentsPerPeriod 的 2 数量是货币测量的 instance
(domain paymentsPerPeriod 3 TimeInterval)	FinancialOntology.kif 3691-3691	paymentsPerPeriod 的 3 数量是时距的 instance
(instance paymentsPerPeriod TernaryPredicate)	FinancialOntology.kif 3688-3688	paymentsPerPeriod 是三元谓语的 instance

appearance as argument number 2

(format EnglishLanguage paymentsPerPeriod "%1 %n{doesn't} payments per period %2 for %3")	domainEnglishFormat.kif 489-489
(termFormat EnglishLanguage paymentsPerPeriod "payments per period")	domainEnglishFormat.kif 7900-7900	termFormat EnglishLanguage, paymentsPerPeriod and "payments per period"

antecedent

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

FinancialOntology.kif 712-725

如果 LiabilityAccount 是 LiabilityAccount 的 instance 和 minimumPayment 那个 LiabilityAccount, 货币测量 and MonthDuration 和有存在过程和时距这样那个时距是月的 instance 和那个过程在 CurrencyFn 那个 LiabilityAccount 结束和 paymentsPerPeriod 那个 LiabilityAccount, 另一个货币测量 and 那个时距和那个另外货币测量是 lessThan 那个货币测量，
然后有存在另一个过程这样那个另外过程是 Penalty 的 instance 和那个另外过程在 CurrencyFn 那个 LiabilityAccount 结束

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

KB Term:			Term intersection

English Word: