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