| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | 子類 電器 and Device |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2167-2167 | 子類 電氣化鐵路車 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | 子類 電腦 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1780-1780 | 子類 電動馬達 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1797-1797 | 子類 麥克風 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1803-1803 | 子類 接收器設備 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1813-1813 | 子類 電報 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2343-2343 | 子類 冰箱 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2578-2578 | 子類 電池 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2582-2582 | 子類 雷達 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2868-2868 | 子類 安全警報 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | 子類 電話 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2995-2995 | 子類 傳真機 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5641-5641 | 子類 烙鐵 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24563-24563 | 子類 TelephonyDevice and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25176-25176 | 子類 FabricIron and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25381-25381 | 子類 HairDryer and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25988-25988 | 子類 AirConditioner and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26034-26034 | 子類 SpeakerDevice and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26262-26262 | 子類 VideoDisplay and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26292-26292 | 子類 Photocopier and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4459-4459 | 子類 FitbitDevice and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 350-350 | 子類 Microwave and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 374-374 | 子類 ElectricCoffeeMaker and 電器 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 535-535 | 子類 電容器元件 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 552-552 | 子類 電感元件 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 790-790 | 子類 定子 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 796-796 | 子類 電動機 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 834-834 | 子類 電阻元件 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 980-980 | 子類 電氣元件 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 984-984 | 子類 電路 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3559-3559 | 子類 DevicePowerSupply and 電器 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 485-485 | 子類 ElectricSpeakerDevice and 電器 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 557-557 | 子類 VideoCamera and 電器 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 628-628 | 子類 Accelerometer and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 398-398 | 子類 TelevisionSet and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2410-2410 | 子類 充電器 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3887-3887 | 子類 Electromagnet and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3923-3923 | 子類 Solenoid and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5076-5076 | 子類 ElectricLightFixture and 電器 |
|
|