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 2543-2544
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1096-1096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2542-2542 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 4481-4481 Unpowered device 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 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 2578-2578 Battery 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. 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 3559-3559 Device power supply 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. Cars.kif 5076-5076 Electric light fixture 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. ComputerInput.kif 485-485 Electric speaker device 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. 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 796-796 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 3887-3887 Electromagnet 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 2995-2995 Fax machine 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. 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. engineering.kif 552-552 Inductor element 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. Food.kif 350-350 Microwave 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

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 2546-2554
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 25947-25960

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 559-569
No TPTP formula. May not be expressible in strict first order. engineering.kif 1139-1151
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1788-1795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2640-2645
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2652-2657
No TPTP formula. May not be expressible in strict first order. Music.kif 689-695


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