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 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 1730-1730 |
NASDAQCompositeIndex 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 |
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 1692-1692 |
StockIndex est une sous-classe de 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 |
|