No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2918-2918 | 压力测量装置 是 测量工具 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1470-1470 | 气压高度计 是 压力测量装置 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3279-3279 | EngineMAPSensor 是 压力测量装置 的 subclass |