EconomicIndicator - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EconomicIndicator Proposition)	FinancialOntology.kif 1684-1684	Economic indicator is a subclass of proposition
(documentation EconomicIndicator EnglishLanguage "Data which provide information about or predict the overall health of the economy or the financial markets, examples are inflation, interest rates, employment, etc.")	FinancialOntology.kif 1685-1687	Economic indicator is a subclass of proposition

appearance as argument number 2

(subclass Inflation EconomicIndicator)	FinancialOntology.kif 1696-1696	Inflation is a subclass of economic indicator
(termFormat EnglishLanguage EconomicIndicator "economic indicator")	domainEnglishFormat.kif 21162-21162	Inflation is a subclass of economic indicator
(termFormat ChineseTraditionalLanguage EconomicIndicator "經濟指標")	domainEnglishFormat.kif 21163-21163	Inflation is a subclass of economic indicator
(termFormat ChineseLanguage EconomicIndicator "经济指标")	domainEnglishFormat.kif 21164-21164	Inflation is a subclass of economic indicator

consequent

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

If X is an instance of index, then there exists Y such that X is a benchmark of Y and Y is an instance of economic indicator