(subclass CompositeUnitOfMeasure UnitOfMeasure) | Merge.kif 6207-6207 | CompositeUnitOfMeasure は 測定単位 の subclass では %n |
(subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 6208-6208 | CompositeUnitOfMeasure は 関数量 の subclass では %n |
(subclass UnitOfArea CompositeUnitOfMeasure) | Merge.kif 6272-6272 | UnitOfArea は CompositeUnitOfMeasure の subclass では %n |
(subclass UnitOfVolume CompositeUnitOfMeasure) | Merge.kif 6283-6283 | UnitOfVolume は CompositeUnitOfMeasure の subclass では %n |
(subclass UnitOfFrequency CompositeUnitOfMeasure) | Merge.kif 6840-6840 | UnitOfFrequency は CompositeUnitOfMeasure の subclass では %n |
(subclass UnitOfAtmosphericPressure CompositeUnitOfMeasure) | Merge.kif 7826-7826 | UnitOfAtmosphericPressure は CompositeUnitOfMeasure の subclass では %n |