| StockIndex(stock index)
| | stock_index, stock_market_index |
| appearance as argument number 1 |
|
|
| (documentation StockIndex EnglishLanguage "Any index which is intended to gauge upward or downward trends in stock prices.") | FinancialOntology.kif 1693-1694 | |
| (externalImage StockIndex "http://upload.wikimedia.org/wikipedia/en/6/67/ Comparison_of_three_stock_indices_after_1975.svg") | pictureList.kif 2005-2005 | |
| (subclass StockIndex Index) | FinancialOntology.kif 1692-1692 | Stock index is a subclass of index |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (instance ?Index StockIndex) (exists (?Stock) (and (instance ?Stock Stock) (benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1696-1701 | An abstract is an instance of stock index if and only if there exists a performance measure such that the performance measure is an instance of stock and the performance measure is a benchmark of the abstract |
|
|
|