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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bond
Bond(bond)Premium_Bond, bond, bond_certificate, bond_issue, convertible_bond, debenture, debenture_bond, letter_bond, post-obit_bond, revenue_bond, savings_bond, unsecured_bond, utility_bond, utility_revenue_bond

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


s__documentation(s__Bond,s__EnglishLanguage,'"A debt instrument issued for a period of more than one year with the purpose of raising capital by borrowing. The Federal government, states, cities, corporations, and many other types of institutions sell bonds. A bond is generally a promise to repay the principal along with interest on a specified maturityDate."')

FinancialOntology.kif 2230-2233
s__subclass(s__Bond,s__FinancialInstrument)

s__instance(s__FinancialInstrument,s__SetOrClass)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2229-2229 Bond is a subclass of financial instrument
s__subclass(s__Bond,s__Investment)

s__instance(s__Investment,s__SetOrClass)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2228-2228 Bond is a subclass of investment

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


s__instance(s__CallableBond,s__SetOrClass)

s__instance(s__Bond,s__SetOrClass)

s__subclass(s__CallableBond,s__Bond)

FinancialOntology.kif 2435-2435 Callable bond is a subclass of bond
s__instance(s__CorporateBond,s__SetOrClass)

s__subclass(s__CorporateBond,s__Bond)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2336-2336 Corporate bond is a subclass of bond
s__subclass(s__CouponBond,s__Bond)

s__instance(s__CouponBond,s__SetOrClass)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2278-2278 Coupon bond is a subclass of bond
s__instance(s__GovernmentBond,s__SetOrClass)

s__subclass(s__GovernmentBond,s__Bond)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2392-2392 Government bond is a subclass of bond
s__subclass(s__IndexBond,s__Bond)

s__instance(s__IndexBond,s__SetOrClass)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2414-2414 Index bond is a subclass of bond
s__subclass(s__MunicipalBond,s__Bond)

s__instance(s__MunicipalBond,s__SetOrClass)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2324-2324 Municipal bond is a subclass of bond
s__instance(s__PerformanceBond,s__SetOrClass)

s__subclass(s__PerformanceBond,s__Bond)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2418-2418 Performance bond is a subclass of bond
s__subclass(s__RegisteredBond,s__Bond)

s__instance(s__RegisteredBond,s__SetOrClass)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2319-2319 Registered bond is a subclass of bond
s__instance(s__SecuredBond,s__SetOrClass)

s__subclass(s__SecuredBond,s__Bond)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2349-2349 Secured bond is a subclass of bond
s__instance(s__TreasuryBond,s__SetOrClass)

s__subclass(s__TreasuryBond,s__Bond)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2422-2422 Treasury bond is a subclass of bond
s__subclass(s__ZeroCouponBond,s__Bond)

s__instance(s__ZeroCouponBond,s__SetOrClass)

s__instance(s__Bond,s__SetOrClass)

FinancialOntology.kif 2298-2298 Zero coupon bond is a subclass of bond
s__termFormat(s__ChineseLanguage,s__Bond,'"键"')

domainEnglishFormat.kif 11588-11588
s__termFormat(s__ChineseTraditionalLanguage,s__Bond,'"鍵"')

domainEnglishFormat.kif 11587-11587
s__termFormat(s__EnglishLanguage,s__Bond,'"bond"')

domainEnglishFormat.kif 11586-11586

appearance as argument number 3
-------------------------


s__domain(s__accruedInterest__m,n__1,s__Bond)

FinancialOntology.kif 2263-2263 The number 1 argument of accrued interest is an instance of bond
s__domain(s__bondRating__m,n__1,s__Bond)

FinancialOntology.kif 2474-2474 The number 1 argument of bond rating is an instance of bond
s__domain(s__callDate__m,n__1,s__Bond)

FinancialOntology.kif 2446-2446 The number 1 argument of call date is an instance of bond
s__domain(s__couponInterest__m,n__1,s__Bond)

FinancialOntology.kif 2257-2257 The number 1 argument of coupon interest is an instance of bond

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


( ! [V__BondHolder,V__Bond,V__Interest] :
   (((s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Interest,s__Interest))
       =>
       (((s__instance(V__Bond,s__Bond) &
             s__couponInterest(V__Bond,V__Interest)
           &
           s__possesses(V__BondHolder,V__Bond))
       =>
       (( ? [V__Period, V__Payment] :
           ((s__instance(V__Period,s__TimeDuration) &
               s__instance(V__Payment,s__Process) &
               (s__periodicPayment(s__AccountFn(V__Bond)
              ,V__Interest,V__Period)
             &
             s__destination(V__Payment,V__BondHolder)))))))))
)
)

FinancialOntology.kif 2240-2248
( ! [V__Bond] :
   ((s__instance(V__Bond,s__Bond) =>
       (( ? [V__Date] :
           ((s__instance(V__Date,s__Day) &
               s__maturityDate(V__Bond,V__Date))))))
   )
)

FinancialOntology.kif 2235-2238


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