No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1420-1420 | 子類 高度表 and 測量工具 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1434-1434 | 子類 絕對高度計 and 高度表 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1469-1469 | 子類 氣壓高度計 and 高度表 |