| 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 | Economic indicator is a subclass of proposition |
| appearance as argument number 2 |
|
|
| (subclass Inflation EconomicIndicator) | FinancialOntology.kif 1667-1667 | Inflation is a subclass of economic indicator |
| (termFormat ChineseLanguage EconomicIndicator "经济指标") | domainEnglishFormat.kif 21170-21170 | Inflation is a subclass of economic indicator |
| (termFormat ChineseTraditionalLanguage EconomicIndicator "經濟指標") | domainEnglishFormat.kif 21169-21169 | Inflation is a subclass of economic indicator |
| (termFormat EnglishLanguage EconomicIndicator "economic indicator") | domainEnglishFormat.kif 21168-21168 | Inflation is a subclass of economic indicator |
| 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