No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2911-2911 | 子類 壓力測量裝置 and 測量工具 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1470-1470 | 子類 氣壓高度計 and 壓力測量裝置 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3264-3264 | 子類 EngineMAPSensor and 壓力測量裝置 |