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	Le nombre 1 argument de periodicPayment est une instance de FinancialAccount
(domain periodicPayment 2 CurrencyMeasure)	FinancialOntology.kif 737-737	Le nombre 2 argument de periodicPayment est une instance de mesure de devise
(domain periodicPayment 3 TimeDuration)	FinancialOntology.kif 738-738	Le nombre 3 argument de periodicPayment est une instance de dur�e temporel
(instance periodicPayment TernaryPredicate)	FinancialOntology.kif 735-735	periodicPayment est une instance de pr�dicat ternaire

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

periodicPayment FinancialAccount, mesure de devise and dur�e temporel
financial transaction processus financial transaction est une instance de Payment financial transaction a pour origine CurrencyFn FinancialAccount transactionAmount financial transaction and mesure de devise financial transaction est une instance de processus processus se produit tous les dur�e temporel

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

Bond est une instance de Bond couponInterest Bond and Interest BondHolder poss�de Bond
dur�e temporel processus periodicPayment AccountFn Bond, Interest and dur�e temporel processus aboutit � BondHolder

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

KB Term:			Term intersection

English Word: