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 2479-2480
(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 2478-2478 Electric device is a subclass of device

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4498-4498 UnpoweredDevice is disjoint from electric device
(subclass Accelerometer ElectricDevice) ComputerInput.kif 656-656 Accelerometer is a subclass of electric device
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 24111-24111 Air conditioner is a subclass of electric device
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2514-2514 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 2424-2424 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 3530-3530 Device power supply is a subclass of electric device
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 23663-23663 Coffee maker is a subclass of electric device
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5100-5100 ElectricLightFixture is a subclass of electric device
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1717-1717 Electric motor is a subclass of electric device
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 511-511 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 2175-2175 Electrified railway car is a subclass of electric device
(subclass Electromagnet ElectricDevice) Cars.kif 3904-3904 Electromagnet is a subclass of electric device
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 23277-23277 Iron is a subclass of electric device
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2927-2927 Fax machine is a subclass of electric device
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 23482-23482 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 1734-1734 Microphone is a subclass of electric device
(subclass Microwave ElectricDevice) Mid-level-ontology.kif 23518-23518 Microwave is a subclass of electric device
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 24414-24414 Photocopier is a subclass of electric device
(subclass Radar ElectricDevice) Mid-level-ontology.kif 2518-2518 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 2482-2490
(=>
    (and
        (instance ?DEV SpeakerDevice)
        (instance ?DEV ElectricDevice))
    (instance ?DEV ElectricSpeakerDevice))
ComputerInput.kif 516-520
(=>
    (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 24070-24083

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 7193-7205
(=>
    (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 555-565
(=>
    (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 1725-1732
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2576-2581
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2588-2593
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))
Music.kif 685-691


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