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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricDevice
ElectricDevice

appearance as argument number 1
-------------------------


(documentation ElectricDevice EnglishLanguage "A Device that uses Electricity as its primary power source.") Mid-level-ontology.kif 3006-3007
(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 3005-3005 ElectricDevice は デバイス の subclass では

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4542-4542 UnpoweredDevice と ElectricDevice は disjoint では
(subclass Accelerometer ElectricDevice) ComputerInput.kif 628-628 Accelerometer は ElectricDevice の subclass では
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 27886-27886 AirConditioner は ElectricDevice の subclass では
(subclass Battery ElectricDevice) Mid-level-ontology.kif 3041-3041 Battery は ElectricDevice の subclass では
(subclass CapacitorElement ElectricDevice) engineering.kif 534-534 CapacitorElement は ElectricDevice の subclass では
(subclass Charger ElectricDevice) Cars.kif 2394-2394 Charger は ElectricDevice の subclass では
(subclass Computer ElectricDevice) QoSontology.kif 25-25 Computer は ElectricDevice の subclass では
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3554-3554 DevicePowerSupply は ElectricDevice の subclass では
(subclass ElectricCoffeeMaker ElectricDevice) Food.kif 374-374 ElectricCoffeeMaker は ElectricDevice の subclass では
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5137-5137 ElectricLightFixture は ElectricDevice の subclass では
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 2243-2243 ElectricMotor は ElectricDevice の subclass では
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 485-485 ElectricSpeakerDevice は ElectricDevice の subclass では
(subclass ElectricalCircuit ElectricDevice) engineering.kif 1297-1297 ElectricalCircuit は ElectricDevice の subclass では
(subclass ElectricalComponent ElectricDevice) engineering.kif 1293-1293 ElectricalComponent は ElectricDevice の subclass では
(subclass ElectricalMotor ElectricDevice) engineering.kif 1109-1109 ElectricalMotor は ElectricDevice の subclass では
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2342-2342 ElectrifiedRailwayCar は ElectricDevice の subclass では
(subclass Electromagnet ElectricDevice) Cars.kif 3948-3948 Electromagnet は ElectricDevice の subclass では
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 26838-26838 FabricIron は ElectricDevice の subclass では
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 3458-3458 FaxMachine は ElectricDevice の subclass では
(subclass FitbitDevice ElectricDevice) Medicine.kif 4466-4466 FitbitDevice は ElectricDevice の subclass では
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 27043-27043 HairDryer は ElectricDevice の subclass では
(subclass InductorElement ElectricDevice) engineering.kif 551-551 InductorElement は ElectricDevice の subclass では
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 2260-2260 Microphone は ElectricDevice の subclass では
(subclass Microwave ElectricDevice) Food.kif 350-350 Microwave は ElectricDevice の subclass では
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 28191-28191 Photocopier は ElectricDevice の subclass では

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 3009-3017
(=>
    (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 27845-27858

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 561-571
(=>
    (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 1452-1464
(=>
    (instance ?DEVICE SwitchDevice)
    (exists (?PROC1 ?PROC2 ?ELECTRIC)
        (and
            (instrument ?PROC1 ?DEVICE)
            (causes ?PROC1 ?PROC2)
            (instrument ?PROC2 ?ELECTRIC)
            (instance ?ELECTRIC ElectricDevice))))		 Mid-level-ontology.kif 2251-2258
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))		 Mid-level-ontology.kif 3103-3108
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))		 Mid-level-ontology.kif 3115-3120
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))		 Music.kif 691-697


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