(subclass LengthMeasure ConstantQuantity) | Merge.kif 6242-6242 | LengthMeasure ist eine teilkategorie von ConstantQuantity |
(subclass AltitudeMeasure LengthMeasure) | MilitaryDevices.kif 1498-1498 | AltitudeMeasure ist eine teilkategorie von LengthMeasure |