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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ZeroCouponBond
ZeroCouponBond(zero coupon bond)zero-coupon_bond, zero_coupon_bond

appearance as argument number 1
-------------------------


s__documentation(s__ZeroCouponBond,s__EnglishLanguage,'"A bond in which no periodic coupon is paid over the life of the contract. Instead, both the principal and the interest are paid at the maturity date."')

FinancialOntology.kif 2278-2280
s__subclass(s__ZeroCouponBond,s__Bond)

s__instance(s__ZeroCouponBond,s__SetOrClass)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2277-2277 Zero coupon bond is a subclass of bond

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__ZeroCouponBond,'"零息债券"')

domainEnglishFormat.kif 64127-64127
s__termFormat(s__ChineseTraditionalLanguage,s__ZeroCouponBond,'"零息債券"')

domainEnglishFormat.kif 64126-64126
s__termFormat(s__EnglishLanguage,s__ZeroCouponBond,'"zero coupon bond"')

domainEnglishFormat.kif 64125-64125

antecedent
-------------------------


( ! [V__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Total,s__Number) &
         s__instance(V__Total,s__CurrencyMeasure) &
         s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Principal,s__Number) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Bond,s__ZeroCouponBond) &
             s__maturityDate(s__AccountFn(V__Bond)
          ,V__Date)
         &
         s__possesses(V__BondHolder,V__Bond)
       &
       s__principalAmount(s__AccountFn(V__Bond)
    ,V__Principal)
   &
   s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,V__Interest,V__Period)
&
(V__Total = s__AdditionFn(V__Principal,V__Interest)))
=>
(( ? [V__Payment] :
((s__instance(V__Payment,s__Payment) &
s__destination(V__Payment,V__BondHolder)
&
s__origin(V__Payment,s__AccountFn(V__Bond))
&
s__transactionAmount(V__Payment,V__Total))))))))
)
)

FinancialOntology.kif 2282-2296


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 3.0 is open source software produced by Articulate Software and its partners