| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16000-16000 | Measuring device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1420-1420 | Altimeter is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2882-2882 | Clock is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2906-2906 | Thermometer is a subclass of measuring device |
| 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. | Mid-level-ontology.kif 14490-14490 | Test form is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1559-1559 | Reverse transcription polymerase chain reaction is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1699-1699 | Snellen chart is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2750-2750 | Antigen COVID test is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4458-4458 | Fitbit is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2788-2788 | Feeler gauge is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3046-3046 | Hydrometer is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3297-3297 | Mass airflow sensor is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3335-3335 | Oxygen sensor is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4014-4014 | Tachometer is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4063-4063 | Bi-metal temperature sensor is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4139-4139 | Torque wrench is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4238-4238 | Vacuum gauge is a subclass of measuring device |
|
|