| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | Electric device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2167-2167 | Electrified railway car is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | Computer is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1780-1780 | Electric motor is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1797-1797 | Microphone is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1803-1803 | Receiver device is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1813-1813 | Telegraph is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2343-2343 | Refrigerator is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2578-2578 | Battery is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2582-2582 | Radar is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2868-2868 | Security alarm is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | Telephone is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2995-2995 | Fax machine is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5641-5641 | Soldering iron is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24563-24563 | Telephony device is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25176-25176 | Iron is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25381-25381 | Hair dryer is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25988-25988 | Air conditioner is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26034-26034 | Speaker is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26262-26262 | Video display is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26292-26292 | Photocopier is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4459-4459 | Fitbit is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 350-350 | Microwave is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 374-374 | Coffee maker is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 535-535 | Capacitor element is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 552-552 | Inductor element is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 790-790 | Stator is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 796-796 | Electrical motor is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 834-834 | Resistor element is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 980-980 | Electrical component is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 984-984 | Electrical circuit is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3559-3559 | Device power supply is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 485-485 | Electric speaker device is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 557-557 | Video camera is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 628-628 | Accelerometer is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 398-398 | Television set is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2410-2410 | Charger is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3887-3887 | Electromagnet is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3923-3923 | Solenoid is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5076-5076 | Electric light fixture is a subclass of electric device |
|
|