| 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 2478-2481 | |
| (subclass TreasuryBond Bond) | FinancialOntology.kif 2477-2477 | Treasury bond is a subclass of bond |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TreasuryBond "国债") | domainEnglishFormat.kif 59133-59133 | |
| (termFormat ChineseTraditionalLanguage TreasuryBond "國債") | domainEnglishFormat.kif 59132-59132 | |
| (termFormat EnglishLanguage TreasuryBond "treasury bond") | domainEnglishFormat.kif 59131-59131 |
| antecedent |
|
|
| (=> (instance ?Bond TreasuryBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2483-2488 |
|
|
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