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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2502-2503
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 2501-2501 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 25379-25379 Air conditioner is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2537-2537 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 24930-24930 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 1739-1739 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 2175-2175 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 24532-24532 Iron is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2950-2950 Fax machine is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24737-24737 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 1756-1756 Microphone is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24773-24773 Microwave is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25682-25682 Photocopier is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2541-2541 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 2505-2513
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 25338-25351

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 556-566
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 1747-1754
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2599-2604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2611-2616
No TPTP formula. May not be expressible in strict first order. Music.kif 686-692


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



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