Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
GovernmentBond(government bond)
|  | government_bond |
| appearance as argument number 1 |
|
|
| (subclass GovernmentBond Bond) | FinancialOntology.kif 2471-2471 | Government bond is a subclass of bond |
| (documentation GovernmentBond EnglishLanguage "A bond sold by the U.S. government.") | FinancialOntology.kif 2472-2472 | Government bond is a subclass of bond |
| (externalImage GovernmentBond "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Main_Credit_Ratings.png") | pictureList.kif 6597-6597 | Government bond is a subclass of bond |
| (externalImage GovernmentBond "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Woman_seling_war_bonds_1943.gif") | pictureList.kif 7020-7020 | Government bond is a subclass of bond |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Bond GovernmentBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2474-2479 | If X is an instance of government bond, then there exists Y such that Y is an issued by of X and Y is an instance of government |
| (=> (instance ?Bond GovernmentBond) (riskLevel ?Bond LowRisk)) |
FinancialOntology.kif 2481-2483 | If X is an instance of government bond, then the risk level of X is low risk |
| (=> (instance ?Bond GovernmentBond) (yieldLevel ?Bond LowYield)) |
FinancialOntology.kif 2485-2487 | If X is an instance of government bond, then X has yield low yield |
| (=> (instance ?Bond GovernmentBond) (bondRating ?Bond AAA_Rating)) |
FinancialOntology.kif 2489-2491 | If X is an instance of government bond, then the rating of X is AAA-Rating |
|