| (subclass CompositeUnitOfMeasure UnitOfMeasure) | Merge.kif 6207-6207 | CompositeUnitOfMeasure e' uma sub-classe de Unidade de Medida |
| (subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 6208-6208 | CompositeUnitOfMeasure e' uma sub-classe de Funcao de Quantidade |
| (subclass UnitOfArea CompositeUnitOfMeasure) | Merge.kif 6272-6272 | UnitOfArea e' uma sub-classe de CompositeUnitOfMeasure |
| (subclass UnitOfVolume CompositeUnitOfMeasure) | Merge.kif 6283-6283 | UnitOfVolume e' uma sub-classe de CompositeUnitOfMeasure |
| (subclass UnitOfFrequency CompositeUnitOfMeasure) | Merge.kif 6840-6840 | UnitOfFrequency e' uma sub-classe de CompositeUnitOfMeasure |
| (subclass UnitOfAtmosphericPressure CompositeUnitOfMeasure) | Merge.kif 7826-7826 | UnitOfAtmosphericPressure e' uma sub-classe de CompositeUnitOfMeasure |
|
|