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

appearance as argument number 2

(subclass InflationIndex Index)	FinancialOntology.kif 1680-1680	Inflation index is a subclass of index
(subclass MarketShareWeightedIndex Index)	FinancialOntology.kif 1758-1758	Market share weighted index is a subclass of index
(subclass MarketValueWeightedIndex Index)	FinancialOntology.kif 1762-1762	Market value weighted index is a subclass of index
(subclass NASDAQCompositeIndex Index)	FinancialOntology.kif 1744-1744	NASDAQ composite index is a subclass of index
(subclass NikkeiIndex Index)	FinancialOntology.kif 1776-1776	Nikkei index is a subclass of index
(subclass PriceWeightedIndex Index)	FinancialOntology.kif 1772-1772	Price weighted index is a subclass of index
(subclass StockIndex Index)	FinancialOntology.kif 1706-1706	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 1646-1651