Index - Sigma Knowledge base Browser

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 is a subclass of performance measure

appearance as argument number 2

(subclass InflationIndex Index)	FinancialOntology.kif 1666-1666	Inflation index is a subclass of index
(subclass MarketShareWeightedIndex Index)	FinancialOntology.kif 1744-1744	Market share weighted index is a subclass of index
(subclass MarketValueWeightedIndex Index)	FinancialOntology.kif 1748-1748	Market value weighted index is a subclass of index
(subclass NASDAQCompositeIndex Index)	FinancialOntology.kif 1730-1730	NASDAQ composite index is a subclass of index
(subclass NikkeiIndex Index)	FinancialOntology.kif 1762-1762	Nikkei index is a subclass of index
(subclass PriceWeightedIndex Index)	FinancialOntology.kif 1758-1758	Price weighted index is a subclass of index
(subclass StockIndex Index)	FinancialOntology.kif 1692-1692	Stock index is a subclass of index
(termFormat ChineseLanguage Index "指数")	domainEnglishFormat.kif 29621-29621	Stock index is a subclass of index
(termFormat ChineseTraditionalLanguage Index "指數")	domainEnglishFormat.kif 29620-29620	Stock index is a subclass of index
(termFormat EnglishLanguage Index "index")	domainEnglishFormat.kif 29619-29619	Stock index is a subclass of index

antecedent

(=>
    (instance ?Index Index)
    (exists (?Performance)
        (and
            (benchmark ?Performance ?Index)
            (instance ?Performance EconomicIndicator))))

FinancialOntology.kif 1632-1637