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


(documentation Bond 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 2274-2277
(subclass Bond FinancialInstrument) FinancialOntology.kif 2273-2273 Bond is a subclass of financial instrument
(subclass Bond Investment) FinancialOntology.kif 2272-2272 Bond is a subclass of investment

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


(subclass CallableBond Bond) FinancialOntology.kif 2487-2487 Callable bond is a subclass of bond
(subclass CorporateBond Bond) FinancialOntology.kif 2388-2388 Corporate bond is a subclass of bond
(subclass CouponBond Bond) FinancialOntology.kif 2322-2322 Coupon bond is a subclass of bond
(subclass GovernmentBond Bond) FinancialOntology.kif 2444-2444 Government bond is a subclass of bond
(subclass IndexBond Bond) FinancialOntology.kif 2466-2466 Index bond is a subclass of bond
(subclass MunicipalBond Bond) FinancialOntology.kif 2376-2376 Municipal bond is a subclass of bond
(subclass PerformanceBond Bond) FinancialOntology.kif 2470-2470 Performance bond is a subclass of bond
(subclass RegisteredBond Bond) FinancialOntology.kif 2371-2371 Registered bond is a subclass of bond
(subclass SecuredBond Bond) FinancialOntology.kif 2401-2401 Secured bond is a subclass of bond
(subclass TreasuryBond Bond) FinancialOntology.kif 2474-2474 Treasury bond is a subclass of bond
(subclass ZeroCouponBond Bond) FinancialOntology.kif 2342-2342 Zero coupon bond is a subclass of bond
(termFormat ChineseLanguage Bond "键") domainEnglishFormat.kif 11587-11587
(termFormat ChineseTraditionalLanguage Bond "鍵") domainEnglishFormat.kif 11586-11586
(termFormat EnglishLanguage Bond "bond") domainEnglishFormat.kif 11585-11585

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


(domain accruedInterest 1 Bond) FinancialOntology.kif 2307-2307 The number 1 argument of accrued interest is an instance of bond
(domain bondRating 1 Bond) FinancialOntology.kif 2526-2526 The number 1 argument of bond rating is an instance of bond
(domain callDate 1 Bond) FinancialOntology.kif 2498-2498 The number 1 argument of call date is an instance of bond
(domain couponInterest 1 Bond) FinancialOntology.kif 2301-2301 The number 1 argument of coupon interest is an instance of bond

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 2284-2292
(=>
    (instance ?Bond Bond)
    (exists (?Date)
        (maturityDate ?Bond ?Date)))
FinancialOntology.kif 2279-2282


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