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 2289-2290
(domain couponInterest 1 Bond)	FinancialOntology.kif 2287-2287	couponInterest の数値 1 引数は Bond の instance では %n
(domain couponInterest 2 Interest)	FinancialOntology.kif 2288-2288	couponInterest の数値 2 引数は Interest の instance では %n
(instance couponInterest BinaryPredicate)	FinancialOntology.kif 2286-2286	couponInterest は 2進述語の instance では %n

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 17598-17598
(termFormat ChineseTraditionalLanguage couponInterest "優惠券利息")	domainEnglishFormat.kif 17597-17597
(termFormat EnglishLanguage couponInterest "coupon interest")	domainEnglishFormat.kif 17596-17596

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 2270-2278

Bond は Bond の instance では %n couponInterest Bond and Interest BondHolder は Bond を possesses %n{ない}
時間分工程 periodicPayment AccountFn Bond, Interest and 時間分工程は BondHolder に ends %n{ない}

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

KB Term:			Term intersection

English Word: