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 4445-4445
(subclass Accelerometer ElectricDevice) ComputerInput.kif 539-539
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 23894-23894
(subclass Battery ElectricDevice) Mid-level-ontology.kif 3042-3042
(subclass BreadMachine ElectricDevice) Society.kif 689-689
(subclass CapacitorElement ElectricDevice) engineering.kif 528-528
(subclass Charger ElectricDevice) Cars.kif 2396-2396
(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 23420-23420
(subclass ElectricJuicer ElectricDevice) Society.kif 763-763
(subclass ElectricKettle ElectricDevice) Society.kif 919-919
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5047-5047
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 2198-2198
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 446-446
(subclass ElectricToaster ElectricDevice) Society.kif 934-934
(subclass ElectricalCircuit ElectricDevice) engineering.kif 979-979
(subclass ElectricalComponent ElectricDevice) engineering.kif 975-975
(subclass ElectricalMotor ElectricDevice) engineering.kif 790-790
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2102-2102
(subclass Electromagnet ElectricDevice) Cars.kif 3853-3853

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 449-453
(=>
    (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 23853-23866

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 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 ?X)
                        (result ?PROC
                            (airTemperature ?AREA ?TEMP))))))))
engineering.kif 1134-1146
(=>
    (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 691-697


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