(subclass BarometricAltimeter Altimeter) | MilitaryDevices.kif 1469-1469 | BarometricAltimeter は Altimeter の subclass では %n |
(subclass BarometricAltimeter PressureMeasuringDevice) | MilitaryDevices.kif 1470-1470 | BarometricAltimeter は PressureMeasuringDevice の subclass では %n |