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
-------------------------


(documentation ElectricDevice EnglishLanguage "A Device that uses Electricity as its primary power source.") Mid-level-ontology.kif 2506-2507
(externalImage ElectricDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2c/ Ceiling_fan_with_light.png/ 180px-Ceiling_fan_with_light.png") pictureList.kif 1097-1097
(subclass ElectricDevice Device) Mid-level-ontology.kif 2505-2505 Electric device is a subclass of device

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4484-4484 UnpoweredDevice is disjoint from electric device
(subclass Accelerometer ElectricDevice) ComputerInput.kif 628-628 Accelerometer is a subclass of electric device
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 25472-25472 Air conditioner is a subclass of electric device
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2541-2541 Battery is a subclass of electric device
(subclass CapacitorElement ElectricDevice) engineering.kif 532-532 Capacitor element is a subclass of electric device
(subclass Charger ElectricDevice) Cars.kif 2410-2410 Charger is a subclass of electric device
(subclass Computer ElectricDevice) QoSontology.kif 25-25 Computer is a subclass of electric device
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3522-3522 Device power supply is a subclass of electric device
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 25023-25023 Coffee maker is a subclass of electric device
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5079-5079 ElectricLightFixture is a subclass of electric device
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1743-1743 Electric motor is a subclass of electric device
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 485-485 ElectricSpeakerDevice is a subclass of electric device
(subclass ElectricalCircuit ElectricDevice) engineering.kif 983-983 Electrical circuit is a subclass of electric device
(subclass ElectricalComponent ElectricDevice) engineering.kif 979-979 Electrical component is a subclass of electric device
(subclass ElectricalMotor ElectricDevice) engineering.kif 794-794 Electrical motor is a subclass of electric device
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2167-2167 Electrified railway car is a subclass of electric device
(subclass Electromagnet ElectricDevice) Cars.kif 3890-3890 Electromagnet is a subclass of electric device
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 24625-24625 Iron is a subclass of electric device
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2956-2956 Fax machine is a subclass of electric device
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 24830-24830 Hair dryer is a subclass of electric device
(subclass InductorElement ElectricDevice) engineering.kif 549-549 Inductor element is a subclass of electric device
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1760-1760 Microphone is a subclass of electric device
(subclass Microwave ElectricDevice) Mid-level-ontology.kif 24866-24866 Microwave is a subclass of electric device
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 25775-25775 Photocopier is a subclass of electric device
(subclass Radar ElectricDevice) 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
-------------------------


(=>
    (and
        (instance ?DEV ElectricDevice)
        (instance ?EV Process)
        (instrument ?EV ?DEV))
    (exists (?R)
        (and
            (instance ?R Electricity)
            (resource ?EV ?R))))
Mid-level-ontology.kif 2509-2517
(=>
    (and
        (instance ?DEV SpeakerDevice)
        (instance ?DEV ElectricDevice))
    (instance ?DEV ElectricSpeakerDevice))
ComputerInput.kif 490-494
(=>
    (and
        (instance ?PLUG ElectricalPlug)
        (instance ?DEVICE ElectricDevice)
        (instance ?OUTLET ElectricalOutlet)
        (connectedEngineeringComponents ?DEVICE ?PLUG)
        (completelyFills ?PLUG ?OUTLET)
        (instance ?POWER PowerSource)
        (connectedEngineeringComponents ?POWER ?OUTLET))
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?POWER)
            (destination ?RE ?DEVICE))))
Mid-level-ontology.kif 25431-25444

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


(=>
    (and
        (instance ?DSAVE DataSaving)
        (resource ?DSAVE ?RES)
        (instance ?RES ElectronicDataStorageDevice))
    (exists (?DEV)
        (and
            (instance ?DEV ElectricDevice)
            (instrument ?DSAVE ?DEV)
            (holdsDuring
                (WhenFn ?DSAVE)
                (connected ?RES ?DEV)))))
Media.kif 690-700
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ElectronicsAndApplianceStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING ElectricDevice)
                    (patient ?EV ?THING))))))
naics.kif 7186-7198
(=>
    (and
        (musicGenre ?MR AcousticMusic)
        (record ?MR ?MM))
    (not
        (exists (?I ?ED)
            (and
                (instance ?I MusicalInstrument)
                (instrument ?MM ?I)
                (instance ?ED ElectricDevice)
                (part ?ED ?I)))))
Music.kif 557-567
(=>
    (instance ?CTRL TemperatureControl)
    (exists (?DEVICE ?TEMP)
        (and
            (instance ?DEVICE ElectricDevice)
            (part ?CTRL ?DEVICE)
            (hasPurpose ?DEVICE
                (exists (?PROC ?AREA)
                    (and
                        (instance ?AREA Region)
                        (instance ?PROC Process)
                        (instrument ?PROC ?CTRL)
                        (result ?PROC
                            (airTemperature ?AREA ?TEMP))))))))
engineering.kif 1138-1150
(=>
    (instance ?DEVICE SwitchDevice)
    (exists (?PROC1 ?PROC2 ?ELECTRIC)
        (and
            (instrument ?PROC1 ?DEVICE)
            (causes ?PROC1 ?PROC2)
            (instrument ?PROC2 ?ELECTRIC)
            (instance ?ELECTRIC ElectricDevice))))
Mid-level-ontology.kif 1751-1758
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2603-2608
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2615-2620
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))
Music.kif 687-693


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