Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - couponInterest
couponInterest

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 2218-2219
(domain couponInterest 1 Bond) FinancialOntology.kif 2216-2216 The number 1 argument of coupon interest is an instance of bond
(domain couponInterest 2 Interest) FinancialOntology.kif 2217-2217 The number 2 argument of coupon interest is an instance of interest
(instance couponInterest BinaryPredicate) FinancialOntology.kif 2215-2215 coupon interest is an instance of binary predicate

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 17527-17527 "优惠券利息" is the printable form of coupon interest in ChineseLanguage
(termFormat ChineseTraditionalLanguage couponInterest "優惠券利息") domainEnglishFormat.kif 17526-17526 "優惠券利息" is the printable form of coupon interest in ChineseTraditionalLanguage
(termFormat EnglishLanguage couponInterest "coupon interest") domainEnglishFormat.kif 17525-17525 "coupon interest" is the printable form of coupon interest in english language

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 2199-2207


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners