(subclass Altimeter MeasuringDevice) | MilitaryDevices.kif 1420-1420 | Altimeter est une sous-classe de MeasuringDevice |
(subclass AbsoluteAltimeter Altimeter) | MilitaryDevices.kif 1434-1434 | AbsoluteAltimeter est une sous-classe de Altimeter |
(subclass BarometricAltimeter Altimeter) | MilitaryDevices.kif 1469-1469 | BarometricAltimeter est une sous-classe de Altimeter |