| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1628-1628 | Index est une sous-classe de PerformanceMeasure |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1666-1666 | InflationIndex est une sous-classe de Index |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1692-1692 | StockIndex est une sous-classe de Index |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1730-1730 | NASDAQCompositeIndex est une sous-classe de Index |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1744-1744 | MarketShareWeightedIndex est une sous-classe de Index |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1748-1748 | MarketValueWeightedIndex est une sous-classe de Index |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1758-1758 | PriceWeightedIndex est une sous-classe de Index |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1762-1762 | NikkeiIndex est une sous-classe de Index |
|
|