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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricDevice

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 2506-2507
(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 2505-2505

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4484-4484
(subclass Accelerometer ElectricDevice) ComputerInput.kif 628-628
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 25472-25472
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2541-2541
(subclass CapacitorElement ElectricDevice) engineering.kif 532-532
(subclass Charger ElectricDevice) Cars.kif 2410-2410
(subclass Computer ElectricDevice) QoSontology.kif 25-25
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3522-3522
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 25023-25023
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5079-5079
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1743-1743
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 485-485
(subclass ElectricalCircuit ElectricDevice) engineering.kif 983-983
(subclass ElectricalComponent ElectricDevice) engineering.kif 979-979
(subclass ElectricalMotor ElectricDevice) engineering.kif 794-794
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2167-2167
(subclass Electromagnet ElectricDevice) Cars.kif 3890-3890
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 24625-24625
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2956-2956
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 24830-24830
(subclass InductorElement ElectricDevice) engineering.kif 549-549
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1760-1760
(subclass Microwave ElectricDevice) Mid-level-ontology.kif 24866-24866
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 25775-25775
(subclass Radar ElectricDevice) Mid-level-ontology.kif 2545-2545

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 2509-2517
(=>
    (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 25431-25444

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 557-567
(=>
    (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 1751-1758
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2603-2608
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2615-2620
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))
Music.kif 687-693


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 3.0 is open source software produced by Articulate Software and its partners