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 1656-1658
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1655-1655

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


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

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


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


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