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 1693-1694
(externalImage StockIndex "http://upload.wikimedia.org/wikipedia/en/6/67/ Comparison_of_three_stock_indices_after_1975.svg")	pictureList.kif 2005-2005
(subclass StockIndex Index)	FinancialOntology.kif 1692-1692	StockIndex è una sottoclasse di Index

appearance as argument number 2

(instance DAXIndex StockIndex)	FinancialOntology.kif 1715-1715	DAXIndex è un' istanza di StockIndex
(instance DowJonesIndex StockIndex)	FinancialOntology.kif 1706-1706	DowJonesIndex è un' istanza di StockIndex
(instance FTSE100Index StockIndex)	FinancialOntology.kif 1721-1721	FTSE100Index è un' istanza di StockIndex
(instance NASDAQIndex StockIndex)	FinancialOntology.kif 1709-1709	NASDAQIndex è un' istanza di StockIndex
(instance NIFTY50Index StockIndex)	FinancialOntology.kif 1718-1718	NIFTY50Index è un' istanza di StockIndex
(instance Nikkei225Index StockIndex)	FinancialOntology.kif 1712-1712	Nikkei225Index è un' istanza di StockIndex
(instance SAndP500Index StockIndex)	FinancialOntology.kif 1703-1703	SAndP500Index è un' istanza di StockIndex
(termFormat ChineseLanguage StockIndex "股票指数")	domainEnglishFormat.kif 55406-55406
(termFormat ChineseTraditionalLanguage StockIndex "股票指數")	domainEnglishFormat.kif 55405-55405
(termFormat EnglishLanguage StockIndex "stock index")	domainEnglishFormat.kif 55404-55404

antecedent

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

FinancialOntology.kif 1696-1701