TreeView 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 1629-1630
(subclass Index PerformanceMeasure)	FinancialOntology.kif 1628-1628	Index ist eine teilkategorie von PerformanceMeasure

appearance as argument number 2

(subclass InflationIndex Index)	FinancialOntology.kif 1666-1666	InflationIndex ist eine teilkategorie von Index
(subclass MarketShareWeightedIndex Index)	FinancialOntology.kif 1744-1744	MarketShareWeightedIndex ist eine teilkategorie von Index
(subclass MarketValueWeightedIndex Index)	FinancialOntology.kif 1748-1748	MarketValueWeightedIndex ist eine teilkategorie von Index
(subclass NASDAQCompositeIndex Index)	FinancialOntology.kif 1730-1730	NASDAQCompositeIndex ist eine teilkategorie von Index
(subclass NikkeiIndex Index)	FinancialOntology.kif 1762-1762	NikkeiIndex ist eine teilkategorie von Index
(subclass PriceWeightedIndex Index)	FinancialOntology.kif 1758-1758	PriceWeightedIndex ist eine teilkategorie von Index
(subclass StockIndex Index)	FinancialOntology.kif 1692-1692	StockIndex ist eine teilkategorie von Index
(termFormat ChineseLanguage Index "指数")	domainEnglishFormat.kif 29587-29587
(termFormat ChineseTraditionalLanguage Index "指數")	domainEnglishFormat.kif 29586-29586
(termFormat EnglishLanguage Index "index")	domainEnglishFormat.kif 29585-29585

antecedent

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

FinancialOntology.kif 1632-1637