| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16022-16022 | MeasuringDevice est une sous-classe de appareil |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1420-1420 | Altimeter est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2882-2882 | Clock est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2906-2906 | Thermometer est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2918-2918 | PressureMeasuringDevice est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14489-14489 | TestForm est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1559-1559 | RTPCRTest est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1699-1699 | SnellenChart est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2750-2750 | AntibodyCOVIDTest est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4458-4458 | FitbitDevice est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2794-2794 | FeelerGauge est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3052-3052 | Hydrometer est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3305-3305 | MassAirflowSensor est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3343-3343 | OxygenSensor est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4022-4022 | Tachometer est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4071-4071 | BimetalTemperatureSensor est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4147-4147 | TorqueWrench est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4246-4246 | VacuumGauge est une sous-classe de MeasuringDevice |
|
|