TreeView Knowledge Base Browser

appearance as argument number 1

(documentation couponInterest EnglishLanguage "(couponInterest ?BOND ?INTEREST) means that ?INTEREST is the periodic interest payment made to bondholders during the life of the ?BOND.")	FinancialOntology.kif 2306-2307
(domain couponInterest 1 Bond)	FinancialOntology.kif 2304-2304
(domain couponInterest 2 Interest)	FinancialOntology.kif 2305-2305
(instance couponInterest BinaryPredicate)	FinancialOntology.kif 2303-2303

appearance as argument number 2

(format ChineseLanguage couponInterest "%2 %n 是 %1 的 coupon 利息")	domainEnglishFormat.kif 556-556
(format ChineseTraditionalLanguage couponInterest "%2 %n 是 %1 的 coupon 利息")	domainEnglishFormat.kif 555-555
(format EnglishLanguage couponInterest "%2 is %n a coupon interest of %1")	domainEnglishFormat.kif 554-554
(termFormat ChineseLanguage couponInterest "优惠券利息")	domainEnglishFormat.kif 17607-17607
(termFormat ChineseTraditionalLanguage couponInterest "優惠券利息")	domainEnglishFormat.kif 17606-17606
(termFormat EnglishLanguage couponInterest "coupon interest")	domainEnglishFormat.kif 17605-17605

antecedent

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

FinancialOntology.kif 2287-2295

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

KB Term:			Term intersection

English Word: