TreeView Knowledge Base Browser

appearance as argument number 1

(documentation periodicPayment EnglishLanguage "(periodicPayment ?Pay ?Amount ?Period) holds if ?Pay is one of the periodic payments for the amount ?Amount.")	FinancialOntology.kif 739-740
(domain periodicPayment 1 FinancialAccount)	FinancialOntology.kif 736-736
(domain periodicPayment 2 CurrencyMeasure)	FinancialOntology.kif 737-737
(domain periodicPayment 3 TimeDuration)	FinancialOntology.kif 738-738
(instance periodicPayment TernaryPredicate)	FinancialOntology.kif 735-735

appearance as argument number 2

(format ChineseLanguage periodicPayment "%1 %n 是对于 %3 的 periodic 费用 %2 ")	domainEnglishFormat.kif 1947-1947
(format ChineseTraditionalLanguage periodicPayment "%1 %n 是對於 %3 的 periodic 費用 %2 ")	domainEnglishFormat.kif 1946-1946
(format EnglishLanguage periodicPayment "%1 is %n periodic payment %2 for %3")	domainEnglishFormat.kif 1945-1945
(termFormat ChineseLanguage periodicPayment "定期付款")	domainEnglishFormat.kif 45212-45212
(termFormat ChineseTraditionalLanguage periodicPayment "定期付款")	domainEnglishFormat.kif 45211-45211
(termFormat EnglishLanguage periodicPayment "periodic payment")	domainEnglishFormat.kif 45210-45210

antecedent

(=>
    (periodicPayment ?Account ?Amount ?Period)
    (exists (?Payment ?Class)
        (and
            (instance ?Payment Payment)
            (origin ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Amount)
            (instance ?Payment ?Class)
            (frequency ?Class ?Period))))

FinancialOntology.kif 742-750

consequent

(=>
    (and
        (instance ?Bond Bond)
        (couponInterest ?Bond ?Interest)
        (possesses ?BondHolder ?Bond))
    (exists (?Period ?Payment)
        (and
            (periodicPayment
                (AccountFn ?Bond) ?Interest ?Period)
            (destination ?Payment ?BondHolder))))

FinancialOntology.kif 2270-2278

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

KB Term:			Term intersection

English Word: