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 2268-2271
(subclass Bond FinancialInstrument) FinancialOntology.kif 2267-2267 金融工具subclass
(subclass Bond Investment) FinancialOntology.kif 2266-2266 投资subclass

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


(subclass CallableBond Bond) FinancialOntology.kif 2481-2481 可赎回的债券subclass
(subclass CorporateBond Bond) FinancialOntology.kif 2382-2382 公司债券subclass
(subclass CouponBond Bond) FinancialOntology.kif 2316-2316 优惠券债券subclass
(subclass GovernmentBond Bond) FinancialOntology.kif 2438-2438 政府债券subclass
(subclass IndexBond Bond) FinancialOntology.kif 2460-2460 指数债券subclass
(subclass MunicipalBond Bond) FinancialOntology.kif 2370-2370 市政债券subclass
(subclass PerformanceBond Bond) FinancialOntology.kif 2464-2464 履约保证金subclass
(subclass RegisteredBond Bond) FinancialOntology.kif 2365-2365 注册债券subclass
(subclass SecuredBond Bond) FinancialOntology.kif 2395-2395 担保债券subclass
(subclass TreasuryBond Bond) FinancialOntology.kif 2468-2468 国债subclass
(subclass ZeroCouponBond Bond) FinancialOntology.kif 2336-2336 零息债券subclass
(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 2301-2301 应计利息 的 1 数量 是 instance
(domain bondRating 1 Bond) FinancialOntology.kif 2520-2520 债券评级 的 1 数量 是 instance
(domain callDate 1 Bond) FinancialOntology.kif 2492-2492 通话日期 的 1 数量 是 instance
(domain couponInterest 1 Bond) FinancialOntology.kif 2295-2295 优惠券利息 的 1 数量 是 instance

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 2278-2286
(=>
    (instance ?Bond Bond)
    (exists (?Date)
        (maturityDate ?Bond ?Date)))
FinancialOntology.kif 2273-2276


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