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 1645-1646
(subclass Index PerformanceMeasure)	FinancialOntology.kif 1644-1644	Index is a subclass of performance measure

appearance as argument number 2

(subclass InflationIndex Index)	FinancialOntology.kif 1683-1683	Inflation index is a subclass of index
(subclass MarketShareWeightedIndex Index)	FinancialOntology.kif 1761-1761	Market share weighted index is a subclass of index
(subclass MarketValueWeightedIndex Index)	FinancialOntology.kif 1765-1765	Market value weighted index is a subclass of index
(subclass NASDAQCompositeIndex Index)	FinancialOntology.kif 1747-1747	NASDAQ composite index is a subclass of index
(subclass NikkeiIndex Index)	FinancialOntology.kif 1779-1779	Nikkei index is a subclass of index
(subclass PriceWeightedIndex Index)	FinancialOntology.kif 1775-1775	Price weighted index is a subclass of index
(subclass StockIndex Index)	FinancialOntology.kif 1709-1709	Stock index is a subclass of index
(termFormat ChineseLanguage Index "指数")	domainEnglishFormat.kif 29615-29615	Stock index is a subclass of index
(termFormat ChineseTraditionalLanguage Index "指數")	domainEnglishFormat.kif 29614-29614	Stock index is a subclass of index
(termFormat EnglishLanguage Index "index")	domainEnglishFormat.kif 29613-29613	Stock index is a subclass of index

antecedent

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

FinancialOntology.kif 1648-1653