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 2260-2263
(subclass Bond FinancialInstrument) FinancialOntology.kif 2259-2259 BondFinancialInstrumentsubclass では %n
(subclass Bond Investment) FinancialOntology.kif 2258-2258 BondInvestmentsubclass では %n

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


(subclass CallableBond Bond) FinancialOntology.kif 2473-2473 CallableBondBondsubclass では %n
(subclass CorporateBond Bond) FinancialOntology.kif 2374-2374 CorporateBondBondsubclass では %n
(subclass CouponBond Bond) FinancialOntology.kif 2308-2308 CouponBondBondsubclass では %n
(subclass GovernmentBond Bond) FinancialOntology.kif 2430-2430 GovernmentBondBondsubclass では %n
(subclass IndexBond Bond) FinancialOntology.kif 2452-2452 IndexBondBondsubclass では %n
(subclass MunicipalBond Bond) FinancialOntology.kif 2362-2362 MunicipalBondBondsubclass では %n
(subclass PerformanceBond Bond) FinancialOntology.kif 2456-2456 PerformanceBondBondsubclass では %n
(subclass RegisteredBond Bond) FinancialOntology.kif 2357-2357 RegisteredBondBondsubclass では %n
(subclass SecuredBond Bond) FinancialOntology.kif 2387-2387 SecuredBondBondsubclass では %n
(subclass TreasuryBond Bond) FinancialOntology.kif 2460-2460 TreasuryBondBondsubclass では %n
(subclass ZeroCouponBond Bond) FinancialOntology.kif 2328-2328 ZeroCouponBondBondsubclass では %n
(termFormat ChineseLanguage Bond "键") domainEnglishFormat.kif 11585-11585
(termFormat ChineseTraditionalLanguage Bond "鍵") domainEnglishFormat.kif 11584-11584
(termFormat EnglishLanguage Bond "bond") domainEnglishFormat.kif 11583-11583

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


(domain accruedInterest 1 Bond) FinancialOntology.kif 2293-2293 accruedInterest の数値 1 引数は Bondinstance では %n
(domain bondRating 1 Bond) FinancialOntology.kif 2512-2512 bondRating の数値 1 引数は Bondinstance では %n
(domain callDate 1 Bond) FinancialOntology.kif 2484-2484 callDate の数値 1 引数は Bondinstance では %n
(domain couponInterest 1 Bond) FinancialOntology.kif 2287-2287 couponInterest の数値 1 引数は Bondinstance では %n

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 2270-2278
(=>
    (instance ?Bond Bond)
    (exists (?Date)
        (maturityDate ?Bond ?Date)))
FinancialOntology.kif 2265-2268


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