(subclass CompositeUnitOfMeasure UnitOfMeasure) | Merge.kif 6208-6208 | |
(subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 6209-6209 | |
(subclass UnitOfArea CompositeUnitOfMeasure) | Merge.kif 6273-6273 | |
(subclass UnitOfVolume CompositeUnitOfMeasure) | Merge.kif 6284-6284 | |
(subclass UnitOfFrequency CompositeUnitOfMeasure) | Merge.kif 6841-6841 | |
(subclass UnitOfAtmosphericPressure CompositeUnitOfMeasure) | Merge.kif 7862-7862 |