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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Bond

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 2277-2280
(subclass Bond FinancialInstrument) FinancialOntology.kif 2276-2276
(subclass Bond Investment) FinancialOntology.kif 2275-2275

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


(subclass CallableBond Bond) FinancialOntology.kif 2490-2490
(subclass CorporateBond Bond) FinancialOntology.kif 2391-2391
(subclass CouponBond Bond) FinancialOntology.kif 2325-2325
(subclass GovernmentBond Bond) FinancialOntology.kif 2447-2447
(subclass IndexBond Bond) FinancialOntology.kif 2469-2469
(subclass MunicipalBond Bond) FinancialOntology.kif 2379-2379
(subclass PerformanceBond Bond) FinancialOntology.kif 2473-2473
(subclass RegisteredBond Bond) FinancialOntology.kif 2374-2374
(subclass SecuredBond Bond) FinancialOntology.kif 2404-2404
(subclass TreasuryBond Bond) FinancialOntology.kif 2477-2477
(subclass ZeroCouponBond Bond) FinancialOntology.kif 2345-2345
(termFormat ChineseLanguage Bond "键") domainEnglishFormat.kif 11594-11594
(termFormat ChineseTraditionalLanguage Bond "鍵") domainEnglishFormat.kif 11593-11593
(termFormat EnglishLanguage Bond "bond") domainEnglishFormat.kif 11592-11592

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


(domain accruedInterest 1 Bond) FinancialOntology.kif 2310-2310
(domain bondRating 1 Bond) FinancialOntology.kif 2529-2529
(domain callDate 1 Bond) FinancialOntology.kif 2501-2501
(domain couponInterest 1 Bond) FinancialOntology.kif 2304-2304

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 2287-2295
(=>
    (instance ?Bond Bond)
    (exists (?Date)
        (maturityDate ?Bond ?Date)))
FinancialOntology.kif 2282-2285


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