| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1628-1628 | Index is a subclass of performance measure |
| 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 1692-1692 | Stock 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 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 1758-1758 | Price weighted 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 |
|
|