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