(subclass PhysicalQuantity Quantity) | Merge.kif 2025-2025 | 物理量 は 量 の subclass では %n |
(subclass ConstantQuantity PhysicalQuantity) | Merge.kif 2045-2045 | 一定量 は 物理量 の subclass では %n |
(subclass FunctionQuantity PhysicalQuantity) | Merge.kif 2100-2100 | 関数量 は 物理量 の subclass では %n |
(subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 6198-6198 | 測定単位 は 物理量 の subclass では %n |
(subclass PerformanceMeasure PhysicalQuantity) | FinancialOntology.kif 1644-1644 | PerformanceMeasure は 物理量 の subclass では %n |