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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bond
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 2230-2233
(subclass Bond FinancialInstrument) FinancialOntology.kif 2229-2229
(subclass Bond Investment) FinancialOntology.kif 2228-2228

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


(subclass CallableBond Bond) FinancialOntology.kif 2435-2435
(subclass CorporateBond Bond) FinancialOntology.kif 2336-2336
(subclass CouponBond Bond) FinancialOntology.kif 2278-2278
(subclass GovernmentBond Bond) FinancialOntology.kif 2392-2392
(subclass IndexBond Bond) FinancialOntology.kif 2414-2414
(subclass MunicipalBond Bond) FinancialOntology.kif 2324-2324
(subclass PerformanceBond Bond) FinancialOntology.kif 2418-2418
(subclass RegisteredBond Bond) FinancialOntology.kif 2319-2319
(subclass SecuredBond Bond) FinancialOntology.kif 2349-2349
(subclass TreasuryBond Bond) FinancialOntology.kif 2422-2422
(subclass ZeroCouponBond Bond) FinancialOntology.kif 2298-2298
(termFormat ChineseLanguage Bond "键") domainEnglishFormat.kif 11588-11588
(termFormat ChineseTraditionalLanguage Bond "鍵") domainEnglishFormat.kif 11587-11587
(termFormat EnglishLanguage Bond "bond") domainEnglishFormat.kif 11586-11586

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


(domain accruedInterest 1 Bond) FinancialOntology.kif 2263-2263
(domain bondRating 1 Bond) FinancialOntology.kif 2474-2474
(domain callDate 1 Bond) FinancialOntology.kif 2446-2446
(domain couponInterest 1 Bond) FinancialOntology.kif 2257-2257

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 2240-2248
(=>
    (instance ?Bond Bond)
    (exists (?Date)
        (maturityDate ?Bond ?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