| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16022-16022 | 子類 測量工具 and Device |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1420-1420 | 子類 高度表 and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2882-2882 | 子類 時鐘 and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2906-2906 | 子類 溫度計 and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2918-2918 | 子類 壓力測量裝置 and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14489-14489 | 子類 測試表格 and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1559-1559 | 子類 RTPCRTest and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1699-1699 | 子類 SnellenChart and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2750-2750 | 子類 AntibodyCOVIDTest and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4458-4458 | 子類 FitbitDevice and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2794-2794 | 子類 FeelerGauge and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3052-3052 | 子類 Hydrometer and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3305-3305 | 子類 MassAirflowSensor and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3343-3343 | 子類 OxygenSensor and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4022-4022 | 子類 Tachometer and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4071-4071 | 子類 BimetalTemperatureSensor and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4147-4147 | 子類 TorqueWrench and 測量工具 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4246-4246 | 子類 VacuumGauge and 測量工具 |
|
|