| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | ElectricDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2167-2167 | ElectrifiedRailwayCar e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | Computer e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1780-1780 | ElectricMotor e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1797-1797 | Microphone e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1803-1803 | ReceiverDevice e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1813-1813 | Telegraph e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2343-2343 | Refrigerator e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2578-2578 | Battery e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2582-2582 | Radar e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2868-2868 | SecurityAlarm e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | Telephone e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2995-2995 | FaxMachine e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5640-5640 | SolderingIron e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24562-24562 | TelephonyDevice e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25175-25175 | FabricIron e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25380-25380 | HairDryer e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25976-25976 | AirConditioner e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26022-26022 | SpeakerDevice e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26250-26250 | VideoDisplay e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26280-26280 | Photocopier e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4459-4459 | FitbitDevice e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 350-350 | Microwave e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 374-374 | ElectricCoffeeMaker e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 535-535 | CapacitorElement e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 552-552 | InductorElement e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 790-790 | Stator e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 796-796 | ElectricalMotor e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 834-834 | ResistorElement e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 980-980 | ElectricalComponent e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 984-984 | ElectricalCircuit e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3559-3559 | DevicePowerSupply e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 485-485 | ElectricSpeakerDevice e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 557-557 | VideoCamera e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 628-628 | Accelerometer e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 398-398 | TelevisionSet e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2416-2416 | Charger e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3895-3895 | Electromagnet e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3931-3931 | Solenoid e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5084-5084 | ElectricLightFixture e' uma sub-classe de ElectricDevice |
|
|