TreeView Knowledge Base Browser - Index

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Index

Index(index)

Dow-Jones_Industrial_Average, Dow_Jones, Standard_and_Poor's, Standard_and_Poor's_Index, business_index, price_index, price_level, producer_price_index, retail_price_index, wholesale_price_index

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1629-1630
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1628-1628	Index is a subclass of performance measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1666-1666	Inflation index is a subclass of index
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1744-1744	Market share weighted index is a subclass of index
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1748-1748	Market value weighted index is a subclass of index
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1730-1730	NASDAQ composite index is a subclass of index
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1762-1762	Nikkei index is a subclass of index
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1758-1758	Price weighted index is a subclass of index
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1692-1692	Stock index is a subclass of index
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29587-29587
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29586-29586
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29585-29585

antecedent

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