TreeView Knowledge Base Browser - EconomicIndicator

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

EconomicIndicator

Sigma KEE - EconomicIndicator

EconomicIndicator(economic indicator)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1640-1642
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1639-1639	Economic indicator is a subclass of proposition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1651-1651	Inflation is a subclass of economic indicator
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21162-21162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21161-21161
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21160-21160

consequent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 1632-1637

If a performance measure is an instance of index,
then there exists an abstract such that the performance measure is a benchmark of the abstract and the abstract is an instance of economic indicator

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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