(subclass Altimeter MeasuringDevice) | MilitaryDevices.kif 1420-1420 | Altimeter は MeasuringDevice の subclass では %n |
(subclass AbsoluteAltimeter Altimeter) | MilitaryDevices.kif 1434-1434 | AbsoluteAltimeter は Altimeter の subclass では %n |
(subclass BarometricAltimeter Altimeter) | MilitaryDevices.kif 1469-1469 | BarometricAltimeter は Altimeter の subclass では %n |