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. |
Medicine.kif 2750-2750 |
子類 AntibodyCOVIDTest 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. |
Mid-level-ontology.kif 2882-2882 |
子類 時鐘 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. |
Medicine.kif 4458-4458 |
子類 FitbitDevice 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. |
Mid-level-ontology.kif 2918-2918 |
子類 壓力測量裝置 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. |
Cars.kif 4022-4022 |
子類 Tachometer 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. |
Mid-level-ontology.kif 2906-2906 |
子類 溫度計 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 測量工具 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36689-36689 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36688-36688 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36687-36687 |
|