StockIndex - Sigma Knowledge base Browser

appearance as argument number 1

(documentation StockIndex EnglishLanguage "Any index which is intended to gauge upward or downward trends in stock prices.")	FinancialOntology.kif 1707-1708
(externalImage StockIndex "http://upload.wikimedia.org/wikipedia/en/6/67/ Comparison_of_three_stock_indices_after_1975.svg")	pictureList.kif 2004-2004
(subclass StockIndex Index)	FinancialOntology.kif 1706-1706	Stock index is a subclass of index

appearance as argument number 2

(instance DAXIndex StockIndex)	FinancialOntology.kif 1729-1729	DAX is an instance of stock index
(instance DowJonesIndex StockIndex)	FinancialOntology.kif 1720-1720	Dow Jones is an instance of stock index
(instance FTSE100Index StockIndex)	FinancialOntology.kif 1735-1735	FTSE100 is an instance of stock index
(instance NASDAQIndex StockIndex)	FinancialOntology.kif 1723-1723	NASDAQ is an instance of stock index
(instance NIFTY50Index StockIndex)	FinancialOntology.kif 1732-1732	NIFTY50 is an instance of stock index
(instance Nikkei225Index StockIndex)	FinancialOntology.kif 1726-1726	Nikkei is an instance of stock index
(instance SAndP500Index StockIndex)	FinancialOntology.kif 1717-1717	S&P 500 is an instance of stock index
(termFormat ChineseLanguage StockIndex "股票指数")	domainEnglishFormat.kif 55437-55437	S&P 500 is an instance of stock index
(termFormat ChineseTraditionalLanguage StockIndex "股票指數")	domainEnglishFormat.kif 55436-55436	S&P 500 is an instance of stock index
(termFormat EnglishLanguage StockIndex "stock index")	domainEnglishFormat.kif 55435-55435	S&P 500 is an instance of stock index

antecedent

(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))

FinancialOntology.kif 1710-1715