| 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 | Treasury bond is a subclass of bond |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TreasuryBond "国债") | domainEnglishFormat.kif 59135-59135 | |
| (termFormat ChineseTraditionalLanguage TreasuryBond "國債") | domainEnglishFormat.kif 59134-59134 | |
| (termFormat EnglishLanguage TreasuryBond "treasury bond") | domainEnglishFormat.kif 59133-59133 |
| antecedent |
|
|
| (=> (instance ?Bond TreasuryBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2466-2471 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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