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

Formal Language: 



KB Term:  Term intersection
English Word: 

  couponInterest

 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 2289-2290
(domain couponInterest 1 Bond) FinancialOntology.kif 2287-2287 Le nombre 1 argument de couponInterest est une instance de Bond
(domain couponInterest 2 Interest) FinancialOntology.kif 2288-2288 Le nombre 2 argument de couponInterest est une instance de Interest
(instance couponInterest BinaryPredicate) FinancialOntology.kif 2286-2286 couponInterest est une instance de pr�dicat binaire

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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners