No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1469-1469 | BarometricAltimeter est une sous-classe de Altimeter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1470-1470 | BarometricAltimeter est une sous-classe de PressureMeasuringDevice |