| 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 | 子類 鍵 and 金融工具 |
| (subclass Bond Investment) | FinancialOntology.kif 2258-2258 | 子類 鍵 and 投資 |
| appearance as argument number 2 |
|
|
| (subclass CallableBond Bond) | FinancialOntology.kif 2473-2473 | 子類 可贖回的債券 and 鍵 |
| (subclass CorporateBond Bond) | FinancialOntology.kif 2374-2374 | 子類 公司債券 and 鍵 |
| (subclass CouponBond Bond) | FinancialOntology.kif 2308-2308 | 子類 優惠券債券 and 鍵 |
| (subclass GovernmentBond Bond) | FinancialOntology.kif 2430-2430 | 子類 政府債券 and 鍵 |
| (subclass IndexBond Bond) | FinancialOntology.kif 2452-2452 | 子類 指數債券 and 鍵 |
| (subclass MunicipalBond Bond) | FinancialOntology.kif 2362-2362 | 子類 市政債券 and 鍵 |
| (subclass PerformanceBond Bond) | FinancialOntology.kif 2456-2456 | 子類 履約保證金 and 鍵 |
| (subclass RegisteredBond Bond) | FinancialOntology.kif 2357-2357 | 子類 註冊債券 and 鍵 |
| (subclass SecuredBond Bond) | FinancialOntology.kif 2387-2387 | 子類 擔保債券 and 鍵 |
| (subclass TreasuryBond Bond) | FinancialOntology.kif 2460-2460 | 子類 國債 and 鍵 |
| (subclass ZeroCouponBond Bond) | FinancialOntology.kif 2328-2328 | 子類 零息債券 and 鍵 |
| (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 | 域 應計利息, 1 and 鍵 |
| (domain bondRating 1 Bond) | FinancialOntology.kif 2512-2512 | 域 債券評級, 1 and 鍵 |
| (domain callDate 1 Bond) | FinancialOntology.kif 2484-2484 | 域 通話日期, 1 and 鍵 |
| (domain couponInterest 1 Bond) | FinancialOntology.kif 2287-2287 | 域 優惠券利息, 1 and 鍵 |
| 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 |
|
|
|