No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1420-1420 | Altimeter e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1434-1434 | AbsoluteAltimeter e' uma sub-classe de Altimeter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1469-1469 | BarometricAltimeter e' uma sub-classe de Altimeter |
![]() |