(subclass FunctionQuantity PhysicalQuantity) | Merge.kif 2100-2100 | 関数量 は 物理量 の subclass では %n |
(subclass UnaryConstantFunctionQuantity FunctionQuantity) | Merge.kif 2112-2112 | 単項定数関数量 は 関数量 の subclass では %n |
(subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 6209-6209 | CompositeUnitOfMeasure は 関数量 の subclass では %n |
(subclass AreaMeasure FunctionQuantity) | Merge.kif 6268-6268 | 面積測定 は 関数量 の subclass では %n |
(subclass VolumeMeasure FunctionQuantity) | Merge.kif 6279-6279 | 容積測定 は 関数量 の subclass では %n |