Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricDevice

Sigma KEE - ElectricDevice
ElectricDevice(electric device)
CRO, automobile_horn, car_horn, cathode-ray_oscilloscope, chair, choke, choke_coil, choking_coil, death_chair, drum_sander, electric_blanket, electric_chair, electric_drill, electric_hammer, electric_mixer, electric_sander, electric_typewriter, electrical_device, electrical_system, electrode, electrograph, electromechanical_device, electron_accelerator, electron_tube, electronic, electronic_converter, electronic_device, electronic_equipment, hooter, horn, hot_seat, interrupter, magneto, magnetoelectric_machine, mosaic, motor_horn, oscilloscope, pulse_generator, raster, sander, scaler, scope, smoother, thermionic_tube, thermionic_vacuum_tube, thermionic_valve, tube, vacuum_tube

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2506-2507
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1097-1097
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2505-2505 Electric device is a subclass of device

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 4484-4484 UnpoweredDevice is disjoint from 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. Mid-level-ontology.kif 25472-25472 Air conditioner is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2541-2541 Battery is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. engineering.kif 532-532 Capacitor element 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. QoSontology.kif 25-25 Computer is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3522-3522 Device power supply is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25023-25023 Coffee maker is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Cars.kif 5079-5079 ElectricLightFixture is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1743-1743 Electric motor is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 485-485 ElectricSpeakerDevice is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. engineering.kif 983-983 Electrical circuit is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. engineering.kif 979-979 Electrical component is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. engineering.kif 794-794 Electrical motor is a subclass of electric 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. Cars.kif 3890-3890 Electromagnet is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24625-24625 Iron is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2956-2956 Fax machine is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24830-24830 Hair dryer is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. engineering.kif 549-549 Inductor element is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1760-1760 Microphone is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24866-24866 Microwave is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25775-25775 Photocopier is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2545-2545 Radar is a subclass of electric device

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2509-2517
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 490-494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25431-25444

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 690-700
No TPTP formula. May not be expressible in strict first order. naics.kif 7186-7198
No TPTP formula. May not be expressible in strict first order. Music.kif 557-567
No TPTP formula. May not be expressible in strict first order. engineering.kif 1138-1150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1751-1758
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2603-2608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2615-2620
No TPTP formula. May not be expressible in strict first order. Music.kif 687-693


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners