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 2515-2516
(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 2514-2514 ElectricDevice est une sous-classe de appareil

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4481-4481 UnpoweredDevice est disjoint de ElectricDevice
(subclass Accelerometer ElectricDevice) ComputerInput.kif 628-628 Accelerometer est une sous-classe de ElectricDevice
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 25920-25920 AirConditioner est une sous-classe de ElectricDevice
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2550-2550 Battery est une sous-classe de ElectricDevice
(subclass CapacitorElement ElectricDevice) engineering.kif 535-535 CapacitorElement est une sous-classe de ElectricDevice
(subclass Charger ElectricDevice) Cars.kif 2410-2410 Charger est une sous-classe de ElectricDevice
(subclass Computer ElectricDevice) QoSontology.kif 25-25 Computer est une sous-classe de ElectricDevice
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3559-3559 DevicePowerSupply est une sous-classe de ElectricDevice
(subclass ElectricCoffeeMaker ElectricDevice) Food.kif 374-374 ElectricCoffeeMaker est une sous-classe de ElectricDevice
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5076-5076 ElectricLightFixture est une sous-classe de ElectricDevice
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1752-1752 ElectricMotor est une sous-classe de ElectricDevice
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 485-485 ElectricSpeakerDevice est une sous-classe de ElectricDevice
(subclass ElectricalCircuit ElectricDevice) engineering.kif 986-986 ElectricalCircuit est une sous-classe de ElectricDevice
(subclass ElectricalComponent ElectricDevice) engineering.kif 982-982 ElectricalComponent est une sous-classe de ElectricDevice
(subclass ElectricalMotor ElectricDevice) engineering.kif 797-797 ElectricalMotor est une sous-classe de ElectricDevice
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2167-2167 ElectrifiedRailwayCar est une sous-classe de ElectricDevice
(subclass Electromagnet ElectricDevice) Cars.kif 3887-3887 Electromagnet est une sous-classe de ElectricDevice
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 25108-25108 FabricIron est une sous-classe de ElectricDevice
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2967-2967 FaxMachine est une sous-classe de ElectricDevice
(subclass FitbitDevice ElectricDevice) Medicine.kif 4459-4459 FitbitDevice est une sous-classe de ElectricDevice
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 25313-25313 HairDryer est une sous-classe de ElectricDevice
(subclass InductorElement ElectricDevice) engineering.kif 552-552 InductorElement est une sous-classe de ElectricDevice
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1769-1769 Microphone est une sous-classe de ElectricDevice
(subclass Microwave ElectricDevice) Food.kif 350-350 Microwave est une sous-classe de ElectricDevice
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 26224-26224 Photocopier est une sous-classe de 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 2518-2526
(=>
    (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 25879-25892

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 1141-1153
(=>
    (instance ?DEVICE SwitchDevice)
    (exists (?PROC1 ?PROC2 ?ELECTRIC)
        (and
            (instrument ?PROC1 ?DEVICE)
            (causes ?PROC1 ?PROC2)
            (instrument ?PROC2 ?ELECTRIC)
            (instance ?ELECTRIC ElectricDevice))))		 Mid-level-ontology.kif 1760-1767
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))		 Mid-level-ontology.kif 2612-2617
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))		 Mid-level-ontology.kif 2624-2629
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))		 Music.kif 689-695


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