No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1420-1420 | Altimeter is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1434-1434 | Absolute altimeter is a subclass of altimeter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1469-1469 | Barometric altimeter is a subclass of altimeter |