| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | 电器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2167-2167 | 电气化铁路车 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | 电脑 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1780-1780 | 电动马达 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1797-1797 | 麦克风 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1803-1803 | 接收器设备 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1813-1813 | 电报 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2343-2343 | 冰箱 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2578-2578 | 电池 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2582-2582 | 雷达 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2868-2868 | 安全警报 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | 电话 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2995-2995 | 传真机 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5641-5641 | 烙铁 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24563-24563 | TelephonyDevice 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25176-25176 | FabricIron 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25381-25381 | HairDryer 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25988-25988 | AirConditioner 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26034-26034 | SpeakerDevice 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26262-26262 | VideoDisplay 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26292-26292 | Photocopier 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4459-4459 | FitbitDevice 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 350-350 | Microwave 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 374-374 | ElectricCoffeeMaker 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 535-535 | 电容器元件 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 552-552 | 电感元件 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 790-790 | 定子 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 796-796 | 电动机 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 834-834 | 电阻元件 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 980-980 | 电气元件 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 984-984 | 电路 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3559-3559 | DevicePowerSupply 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 485-485 | ElectricSpeakerDevice 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 557-557 | VideoCamera 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 628-628 | Accelerometer 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 398-398 | TelevisionSet 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2410-2410 | 充电器 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3887-3887 | Electromagnet 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3923-3923 | Solenoid 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5076-5076 | ElectricLightFixture 是 电器 的 subclass |
|
|