TreeView 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 est une sous-classe de Index

appearance as argument number 2

(instance DAXIndex StockIndex)	FinancialOntology.kif 1715-1715	DAXIndex est une instance de StockIndex
(instance DowJonesIndex StockIndex)	FinancialOntology.kif 1706-1706	DowJonesIndex est une instance de StockIndex
(instance FTSE100Index StockIndex)	FinancialOntology.kif 1721-1721	FTSE100Index est une instance de StockIndex
(instance NASDAQIndex StockIndex)	FinancialOntology.kif 1709-1709	NASDAQIndex est une instance de StockIndex
(instance NIFTY50Index StockIndex)	FinancialOntology.kif 1718-1718	NIFTY50Index est une instance de StockIndex
(instance Nikkei225Index StockIndex)	FinancialOntology.kif 1712-1712	Nikkei225Index est une instance de StockIndex
(instance SAndP500Index StockIndex)	FinancialOntology.kif 1703-1703	SAndP500Index est une instance de StockIndex
(termFormat ChineseLanguage StockIndex "股票指数")	domainEnglishFormat.kif 55404-55404
(termFormat ChineseTraditionalLanguage StockIndex "股票指數")	domainEnglishFormat.kif 55403-55403
(termFormat EnglishLanguage StockIndex "stock index")	domainEnglishFormat.kif 55402-55402

antecedent

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

FinancialOntology.kif 1696-1701