Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EconomicIndicator
EconomicIndicator(economic indicator)

appearance as argument number 1
-------------------------


(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 1654-1656
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1653-1653 Economic indicator is a subclass of proposition

appearance as argument number 2
-------------------------


(subclass Inflation EconomicIndicator) FinancialOntology.kif 1665-1665 Inflation is a subclass of economic indicator
(termFormat ChineseLanguage EconomicIndicator "经济指标") domainEnglishFormat.kif 21177-21177 Inflation is a subclass of economic indicator
(termFormat ChineseTraditionalLanguage EconomicIndicator "經濟指標") domainEnglishFormat.kif 21176-21176 Inflation is a subclass of economic indicator
(termFormat EnglishLanguage EconomicIndicator "economic indicator") domainEnglishFormat.kif 21175-21175 Inflation is a subclass of economic indicator

consequent
-------------------------


(=>
    (instance ?Index Index)
    (exists (?Performance)
        (and
            (benchmark ?Performance ?Index)
            (instance ?Performance EconomicIndicator))))
FinancialOntology.kif 1646-1651


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners