| GovernmentBond
| |
| appearance as argument number 1 |
|
|
| (documentation GovernmentBond EnglishLanguage "A bond sold by the U.S. government.") | FinancialOntology.kif 2431-2431 | |
| (externalImage GovernmentBond "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Main_Credit_Ratings.png") | pictureList.kif 6597-6597 | |
| (externalImage GovernmentBond "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Woman_seling_war_bonds_1943.gif") | pictureList.kif 7020-7020 | |
| (subclass GovernmentBond Bond) | FinancialOntology.kif 2430-2430 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GovernmentBond "政府债券") | domainEnglishFormat.kif 26303-26303 | |
| (termFormat ChineseTraditionalLanguage GovernmentBond "政府債券") | domainEnglishFormat.kif 26302-26302 | |
| (termFormat EnglishLanguage GovernmentBond "government bond") | domainEnglishFormat.kif 26301-26301 |
| antecedent |
|
|
| (=> (instance ?Bond GovernmentBond) (bondRating ?Bond AAA-Rating)) |
FinancialOntology.kif 2448-2450 | |
| (=> (instance ?Bond GovernmentBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2433-2438 | |
| (=> (instance ?Bond GovernmentBond) (riskLevel ?Bond LowRisk)) |
FinancialOntology.kif 2440-2442 | |
| (=> (instance ?Bond GovernmentBond) (yieldLevel ?Bond LowYield)) |
FinancialOntology.kif 2444-2446 |
|
|
|