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 3005-3006
(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 3004-3004 subclass ElectricDevice and Device

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4455-4455 disjoint UnpoweredDevice and ElectricDevice
(subclass Accelerometer ElectricDevice) ComputerInput.kif 656-656 subclass Accelerometer and ElectricDevice
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 24012-24012 subclass AirConditioner and ElectricDevice
(subclass Battery ElectricDevice) Mid-level-ontology.kif 3043-3043 subclass Battery and ElectricDevice
(subclass CapacitorElement ElectricDevice) engineering.kif 532-532 subclass CapacitorElement and ElectricDevice
(subclass Charger ElectricDevice) Cars.kif 2397-2397 subclass Charger and ElectricDevice
(subclass Computer ElectricDevice) QoSontology.kif 25-25 subclass Computer and ElectricDevice
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3546-3546 subclass DevicePowerSupply and ElectricDevice
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 23489-23489 subclass ElectricCoffeeMaker and ElectricDevice
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5057-5057 subclass ElectricLightFixture and ElectricDevice
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 2199-2199 subclass ElectricMotor and ElectricDevice
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 511-511 subclass ElectricSpeakerDevice and ElectricDevice
(subclass ElectricalCircuit ElectricDevice) engineering.kif 983-983 subclass ElectricalCircuit and ElectricDevice
(subclass ElectricalComponent ElectricDevice) engineering.kif 979-979 subclass ElectricalComponent and ElectricDevice
(subclass ElectricalMotor ElectricDevice) engineering.kif 794-794 subclass ElectricalMotor and ElectricDevice
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2157-2157 subclass ElectrifiedRailwayCar and ElectricDevice
(subclass Electromagnet ElectricDevice) Cars.kif 3861-3861 subclass Electromagnet and ElectricDevice
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 23104-23104 subclass FabricIron and ElectricDevice
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 3486-3486 subclass FaxMachine and ElectricDevice
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 23309-23309 subclass HairDryer and ElectricDevice
(subclass InductorElement ElectricDevice) engineering.kif 549-549 subclass InductorElement and ElectricDevice
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 2216-2216 subclass Microphone and ElectricDevice
(subclass Microwave ElectricDevice) Mid-level-ontology.kif 23345-23345 subclass Microwave and ElectricDevice
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 24392-24392 subclass Photocopier and ElectricDevice
(subclass Radar ElectricDevice) Mid-level-ontology.kif 3047-3047 subclass Radar and ElectricDevice

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 3011-3019
(=>
    (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 23971-23984

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 2207-2214
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 3104-3109
(=>
    (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