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 2543-2544
(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 2542-2542

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4481-4481
(subclass Accelerometer ElectricDevice) ComputerInput.kif 628-628
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 25988-25988
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2578-2578
(subclass CapacitorElement ElectricDevice) engineering.kif 535-535
(subclass Charger ElectricDevice) Cars.kif 2410-2410
(subclass Computer ElectricDevice) QoSontology.kif 25-25
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3559-3559
(subclass ElectricCoffeeMaker ElectricDevice) Food.kif 374-374
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5076-5076
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1780-1780
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 485-485
(subclass ElectricalCircuit ElectricDevice) engineering.kif 984-984
(subclass ElectricalComponent ElectricDevice) engineering.kif 980-980
(subclass ElectricalMotor ElectricDevice) engineering.kif 796-796
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2167-2167
(subclass Electromagnet ElectricDevice) Cars.kif 3887-3887
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 25176-25176
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2995-2995
(subclass FitbitDevice ElectricDevice) Medicine.kif 4459-4459
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 25381-25381
(subclass InductorElement ElectricDevice) engineering.kif 552-552
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1797-1797
(subclass Microwave ElectricDevice) Food.kif 350-350
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 26292-26292

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

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 1788-1795
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2640-2645
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2652-2657
(=>
    (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