![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |