Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   StockOption
|
|
|
| appearance as argument number 1 |
|
|
| (subclass StockOption Option) | FinancialOntology.kif 2736-2736 | Stock option is a subclass of option |
| (documentation StockOption EnglishLanguage "An option in which the underlier is the common stock of a corporation, giving the holder the right to buy or sell its stock, at a specified price, by a specific date.") | FinancialOntology.kif 2737-2739 | Stock option is a subclass of option |
| (externalImage StockOption "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ NYSESecurity.JPG") | pictureList.kif 8735-8735 | Stock option is a subclass of option |
| (externalImage StockOption "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6f/ IE_Real_SandP_Prices%2C_Earnings%2C_and_Dividends_1871-2006.png") | pictureList.kif 9691-9691 | Stock option is a subclass of option |
| (externalImage StockOption "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IE_Real_SandP_Price_Earnings_Ratio%2C_Interest_1871-2006.png") | pictureList.kif 9692-9692 | Stock option is a subclass of option |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Option StockOption) (underlier ?Option ?Stock)) (property ?Stock CommonStock)) |
FinancialOntology.kif 2741-2745 | If X is an instance of stock option and Y is an underlier of X, then Y the attribute common stock |
|
