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 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 |