|
|
   TreasuryBond
|
|
|
| appearance as argument number 1 |
|
|
| (documentation TreasuryBond EnglishLanguage "A negotiable, coupon-bearing debt obligation issued by the U.S. government and backed by its full faith and credit, having a maturity of more than 7 years. Interest is paid semi-annually. Exempt from state and local taxes.") | FinancialOntology.kif 2461-2464 | |
| (subclass TreasuryBond Bond) | FinancialOntology.kif 2460-2460 | TreasuryBond est une sous-classe de Bond |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TreasuryBond "国债") | domainEnglishFormat.kif 59122-59122 | |
| (termFormat ChineseTraditionalLanguage TreasuryBond "國債") | domainEnglishFormat.kif 59121-59121 | |
| (termFormat EnglishLanguage TreasuryBond "treasury bond") | domainEnglishFormat.kif 59120-59120 |
| antecedent |
|
|
| (=> (instance ?Bond TreasuryBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2466-2471 |
|
|
|
|