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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EconomicIndicator
EconomicIndicator

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 1640-1642
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1639-1639

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


(subclass Inflation EconomicIndicator) FinancialOntology.kif 1651-1651
(termFormat ChineseLanguage EconomicIndicator "经济指标") domainEnglishFormat.kif 21173-21173
(termFormat ChineseTraditionalLanguage EconomicIndicator "經濟指標") domainEnglishFormat.kif 21172-21172
(termFormat EnglishLanguage EconomicIndicator "economic indicator") domainEnglishFormat.kif 21171-21171

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


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


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