|
|
   Index
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Index EnglishLanguage "A benchmark against which financial or economic performance is measured, such as the S&P 500 or the Consumer Price Index.") | FinancialOntology.kif 1629-1630 | |
| (subclass Index PerformanceMeasure) | FinancialOntology.kif 1628-1628 | Index est une sous-classe de PerformanceMeasure |
| appearance as argument number 2 |
|
|
| (subclass InflationIndex Index) | FinancialOntology.kif 1666-1666 | InflationIndex est une sous-classe de Index |
| (subclass MarketShareWeightedIndex Index) | FinancialOntology.kif 1744-1744 | MarketShareWeightedIndex est une sous-classe de Index |
| (subclass MarketValueWeightedIndex Index) | FinancialOntology.kif 1748-1748 | MarketValueWeightedIndex est une sous-classe de Index |
| (subclass NASDAQCompositeIndex Index) | FinancialOntology.kif 1730-1730 | NASDAQCompositeIndex est une sous-classe de Index |
| (subclass NikkeiIndex Index) | FinancialOntology.kif 1762-1762 | NikkeiIndex est une sous-classe de Index |
| (subclass PriceWeightedIndex Index) | FinancialOntology.kif 1758-1758 | PriceWeightedIndex est une sous-classe de Index |
| (subclass StockIndex Index) | FinancialOntology.kif 1692-1692 | StockIndex est une sous-classe de Index |
| (termFormat ChineseLanguage Index "指数") | domainEnglishFormat.kif 29587-29587 | |
| (termFormat ChineseTraditionalLanguage Index "指數") | domainEnglishFormat.kif 29586-29586 | |
| (termFormat EnglishLanguage Index "index") | domainEnglishFormat.kif 29585-29585 |
| antecedent |
|
|
| (=> (instance ?Index Index) (exists (?Performance) (and (benchmark ?Performance ?Index) (instance ?Performance EconomicIndicator)))) |
FinancialOntology.kif 1632-1637 |
|
|
|
|