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 1595-1597
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1594-1594

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


(subclass Inflation EconomicIndicator) FinancialOntology.kif 1606-1606
(termFormat ChineseLanguage EconomicIndicator "经济指标") domainEnglishFormat.kif 21160-21160
(termFormat ChineseTraditionalLanguage EconomicIndicator "經濟指標") domainEnglishFormat.kif 21159-21159
(termFormat EnglishLanguage EconomicIndicator "economic indicator") domainEnglishFormat.kif 21158-21158

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


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


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