|
|
   GovernmentBond
|
|
|
| appearance as argument number 1 |
|
|
| (documentation GovernmentBond EnglishLanguage "A bond sold by the U.S. government.") | FinancialOntology.kif 2445-2445 | |
| (externalImage GovernmentBond "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Main_Credit_Ratings.png") | pictureList.kif 6599-6599 | |
| (externalImage GovernmentBond "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Woman_seling_war_bonds_1943.gif") | pictureList.kif 7022-7022 | |
| (subclass GovernmentBond Bond) | FinancialOntology.kif 2444-2444 | Government bond is a subclass of bond |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GovernmentBond "政府债券") | domainEnglishFormat.kif 26283-26283 | |
| (termFormat ChineseTraditionalLanguage GovernmentBond "政府債券") | domainEnglishFormat.kif 26282-26282 | |
| (termFormat EnglishLanguage GovernmentBond "government bond") | domainEnglishFormat.kif 26281-26281 |
| antecedent |
|
|
| (=> (instance ?Bond GovernmentBond) (bondRating ?Bond AAA-Rating)) |
FinancialOntology.kif 2462-2464 |
|
| (=> (instance ?Bond GovernmentBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2447-2452 |
|
| (=> (instance ?Bond GovernmentBond) (riskLevel ?Bond LowRisk)) |
FinancialOntology.kif 2454-2456 |
|
| (=> (instance ?Bond GovernmentBond) (yieldLevel ?Bond LowYield)) |
FinancialOntology.kif 2458-2460 |
|
|
|
|
