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 2536-2537
(externalImage ElectricDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2c/ Ceiling_fan_with_light.png/ 180px-Ceiling_fan_with_light.png") pictureList.kif 1096-1096
(subclass ElectricDevice Device) Mid-level-ontology.kif 2535-2535 Electric device is a subclass of device

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4466-4466 Unpowered device 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 26021-26021 Air conditioner is a subclass of electric device
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2571-2571 Battery is a subclass of electric device
(subclass CapacitorElement ElectricDevice) engineering.kif 535-535 Capacitor element is a subclass of electric device
(subclass Charger ElectricDevice) Cars.kif 2393-2393 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 3559-3559 Device power supply is a subclass of electric device
(subclass ElectricCoffeeMaker ElectricDevice) Food.kif 374-374 Coffee maker is a subclass of electric device
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5061-5061 Electric light fixture is a subclass of electric device
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1773-1773 Electric motor is a subclass of electric device
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 485-485 Electric speaker device is a subclass of electric device
(subclass ElectricalCircuit ElectricDevice) engineering.kif 984-984 Electrical circuit is a subclass of electric device
(subclass ElectricalComponent ElectricDevice) engineering.kif 980-980 Electrical component is a subclass of electric device
(subclass ElectricalMotor ElectricDevice) engineering.kif 796-796 Electrical motor is a subclass of electric device
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2173-2173 Electrified railway car is a subclass of electric device
(subclass Electromagnet ElectricDevice) Cars.kif 3872-3872 Electromagnet is a subclass of electric device
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 25233-25233 Iron is a subclass of electric device
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2988-2988 Fax machine is a subclass of electric device
(subclass FitbitDevice ElectricDevice) Medicine.kif 4459-4459 Fitbit is a subclass of electric device
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 25438-25438 Hair dryer is a subclass of electric device
(subclass InductorElement ElectricDevice) engineering.kif 552-552 Inductor element is a subclass of electric device
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1790-1790 Microphone is a subclass of electric device
(subclass Microwave ElectricDevice) Food.kif 350-350 Microwave is a subclass of electric device
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 26325-26325 Photocopier 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 2539-2547
(=>
    (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 25980-25993

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 559-569
(=>
    (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 1139-1151
(=>
    (instance ?DEVICE SwitchDevice)
    (exists (?PROC1 ?PROC2 ?ELECTRIC)
        (and
            (instrument ?PROC1 ?DEVICE)
            (causes ?PROC1 ?PROC2)
            (instrument ?PROC2 ?ELECTRIC)
            (instance ?ELECTRIC ElectricDevice))))
Mid-level-ontology.kif 1781-1788
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2633-2638
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2645-2650
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))
Music.kif 689-695


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