(subclass InflationIndex Index) | FinancialOntology.kif 1666-1666 | InflationIndex は Index の subclass では %n |
(subclass ConsumerPriceIndex InflationIndex) | FinancialOntology.kif 1682-1682 | ConsumerPriceIndex は InflationIndex の subclass では %n |
(subclass ProducerPriceIndex InflationIndex) | FinancialOntology.kif 1688-1688 | ProducerPriceIndex は InflationIndex の subclass では %n |