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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricDevice

Sigma KEE - ElectricDevice
ElectricDevice
equipo electrónico, equipamento electrónico, osciloscopio,

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


(documentation ElectricDevice EnglishLanguage "A Device that uses Electricity as its primary power source.") Mid-level-ontology.kif 3004-3005
(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 3003-3003

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4486-4486
(subclass Accelerometer ElectricDevice) ComputerInput.kif 525-525
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 23533-23533
(subclass Battery ElectricDevice) Mid-level-ontology.kif 3042-3042
(subclass BreadMachine ElectricDevice) Society.kif 689-689
(subclass CapacitorElement ElectricDevice) engineering.kif 538-538
(subclass Charger ElectricDevice) Cars.kif 2437-2437
(subclass ClothesWashingMachine ElectricDevice) Society.kif 666-666
(subclass Computer ElectricDevice) QoSontology.kif 25-25
(subclass DeepFryer ElectricDevice) Society.kif 724-724
(subclass Dishwasher ElectricDevice) Society.kif 670-670
(subclass ElectricBlender ElectricDevice) Society.kif 683-683
(subclass ElectricCanOpener ElectricDevice) Society.kif 706-706
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 23059-23059
(subclass ElectricJuicer ElectricDevice) Society.kif 763-763
(subclass ElectricKettle ElectricDevice) Society.kif 919-919
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5088-5088
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 2198-2198
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 432-432
(subclass ElectricToaster ElectricDevice) Society.kif 934-934
(subclass ElectricalCircuit ElectricDevice) engineering.kif 989-989
(subclass ElectricalComponent ElectricDevice) engineering.kif 985-985
(subclass ElectricalMotor ElectricDevice) engineering.kif 800-800
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2102-2102
(subclass Electromagnet ElectricDevice) Cars.kif 3894-3894

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 3010-3018
(=>
    (and
        (instance ?DEV SpeakerDevice)
        (instance ?DEV ElectricDevice))
    (instance ?DEV ElectricSpeakerDevice))
ComputerInput.kif 435-439
(=>
    (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 23492-23505

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 577-587
(=>
    (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 ?X)
                        (result ?PROC
                            (airTemperature ?AREA ?TEMP))))))))
engineering.kif 1144-1156
(=>
    (instance ?DEVICE SwitchDevice)
    (exists (?PROC1 ?PROC2 ?ELECTRIC)
        (and
            (instrument ?PROC1 ?DEVICE)
            (causes ?PROC1 ?PROC2)
            (instrument ?PROC2 ?ELECTRIC)
            (instance ?ELECTRIC ElectricDevice))))
Mid-level-ontology.kif 2206-2213
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 3103-3108
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))
Music.kif 707-713


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners