(subclass LengthMeasure ConstantQuantity) | Merge.kif 6242-6242 | Medida de Comprimento e' uma sub-classe de Quantidade Constante |
(subclass AltitudeMeasure LengthMeasure) | MilitaryDevices.kif 1498-1498 | AltitudeMeasure e' uma sub-classe de Medida de Comprimento |