|
|
   StockIndex
|
|
|
| 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 | 股票指数 是 指数 的 subclass |
| appearance as argument number 2 |
|
|
| (instance DAXIndex StockIndex) | FinancialOntology.kif 1715-1715 | DAXIndex 是 股票指数 的 instance |
| (instance DowJonesIndex StockIndex) | FinancialOntology.kif 1706-1706 | DowJonesIndex 是 股票指数 的 instance |
| (instance FTSE100Index StockIndex) | FinancialOntology.kif 1721-1721 | FTSE100Index 是 股票指数 的 instance |
| (instance NASDAQIndex StockIndex) | FinancialOntology.kif 1709-1709 | NASDAQIndex 是 股票指数 的 instance |
| (instance NIFTY50Index StockIndex) | FinancialOntology.kif 1718-1718 | NIFTY50Index 是 股票指数 的 instance |
| (instance Nikkei225Index StockIndex) | FinancialOntology.kif 1712-1712 | Nikkei225Index 是 股票指数 的 instance |
| (instance SAndP500Index StockIndex) | FinancialOntology.kif 1703-1703 | SAndP500Index 是 股票指数 的 instance |
| (termFormat ChineseLanguage StockIndex "股票指数") | domainEnglishFormat.kif 55406-55406 | |
| (termFormat ChineseTraditionalLanguage StockIndex "股票指數") | domainEnglishFormat.kif 55405-55405 | |
| (termFormat EnglishLanguage StockIndex "stock index") | domainEnglishFormat.kif 55404-55404 |
| antecedent |
|
|
| (<=> (instance ?Index StockIndex) (exists (?Stock) (and (instance ?Stock Stock) (benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1696-1701 | 抽象体 是 股票指数 的 instance 若且唯若 有存在 性能指标 这样 那个 性能指标 是 股票 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark |
|
|
|
