| 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 |
| appearance as argument number 2 |
|
|
| (subclass InflationIndex Index) | FinancialOntology.kif 1666-1666 | |
| (subclass MarketShareWeightedIndex Index) | FinancialOntology.kif 1744-1744 | |
| (subclass MarketValueWeightedIndex Index) | FinancialOntology.kif 1748-1748 | |
| (subclass NASDAQCompositeIndex Index) | FinancialOntology.kif 1730-1730 | |
| (subclass NikkeiIndex Index) | FinancialOntology.kif 1762-1762 | |
| (subclass PriceWeightedIndex Index) | FinancialOntology.kif 1758-1758 | |
| (subclass StockIndex Index) | FinancialOntology.kif 1692-1692 | |
| (termFormat ChineseLanguage Index "指数") | domainEnglishFormat.kif 29616-29616 | |
| (termFormat ChineseTraditionalLanguage Index "指數") | domainEnglishFormat.kif 29615-29615 | |
| (termFormat EnglishLanguage Index "index") | domainEnglishFormat.kif 29614-29614 |
| antecedent |
|
|
| (=> (instance ?Index Index) (exists (?Performance) (and (benchmark ?Performance ?Index) (instance ?Performance EconomicIndicator)))) |
FinancialOntology.kif 1632-1637 |
|
|
|