No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2918-2918 | Pressure measuring device is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1470-1470 | Barometric altimeter is a subclass of pressure measuring device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3279-3279 | Manifold absolute pressure sensor is a subclass of pressure measuring device |