ElectricDevice - Sigma Knowledge base Browser

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	Electric device is a subclass of device

appearance as argument number 2

(disjoint UnpoweredDevice ElectricDevice)	Cars.kif 4481-4481	Unpowered device is disjoint from electric device
(subclass Accelerometer ElectricDevice)	ComputerInput.kif 628-628	Accelerometer is a subclass of electric device
(subclass AirConditioner ElectricDevice)	Mid-level-ontology.kif 25904-25904	Air conditioner is a subclass of electric device
(subclass Battery ElectricDevice)	Mid-level-ontology.kif 2550-2550	Battery is a subclass of electric device
(subclass CapacitorElement ElectricDevice)	engineering.kif 535-535	Capacitor element is a subclass of electric device
(subclass Charger ElectricDevice)	Cars.kif 2410-2410	Charger is a subclass of electric device
(subclass Computer ElectricDevice)	QoSontology.kif 25-25	Computer is a subclass of electric device
(subclass DevicePowerSupply ElectricDevice)	ComputingBrands.kif 3557-3557	Device power supply is a subclass of electric device
(subclass ElectricCoffeeMaker ElectricDevice)	Food.kif 374-374	Coffee maker is a subclass of electric device
(subclass ElectricLightFixture ElectricDevice)	Cars.kif 5076-5076	Electric light fixture is a subclass of electric device
(subclass ElectricMotor ElectricDevice)	Mid-level-ontology.kif 1752-1752	Electric motor is a subclass of electric device
(subclass ElectricSpeakerDevice ElectricDevice)	ComputerInput.kif 485-485	Electric speaker device is a subclass of electric device
(subclass ElectricalCircuit ElectricDevice)	engineering.kif 986-986	Electrical circuit is a subclass of electric device
(subclass ElectricalComponent ElectricDevice)	engineering.kif 982-982	Electrical component is a subclass of electric device
(subclass ElectricalMotor ElectricDevice)	engineering.kif 797-797	Electrical motor is a subclass of electric device
(subclass ElectrifiedRailwayCar ElectricDevice)	Transportation.kif 2167-2167	Electrified railway car is a subclass of electric device
(subclass Electromagnet ElectricDevice)	Cars.kif 3887-3887	Electromagnet is a subclass of electric device
(subclass FabricIron ElectricDevice)	Mid-level-ontology.kif 25092-25092	Iron is a subclass of electric device
(subclass FaxMachine ElectricDevice)	Mid-level-ontology.kif 2967-2967	Fax machine is a subclass of electric device
(subclass FitbitDevice ElectricDevice)	Medicine.kif 4457-4457	Fitbit is a subclass of electric device
(subclass HairDryer ElectricDevice)	Mid-level-ontology.kif 25297-25297	Hair dryer is a subclass of electric device
(subclass InductorElement ElectricDevice)	engineering.kif 552-552	Inductor element is a subclass of electric device
(subclass Microphone ElectricDevice)	Mid-level-ontology.kif 1769-1769	Microphone is a subclass of electric device
(subclass Microwave ElectricDevice)	Food.kif 350-350	Microwave is a subclass of electric device
(subclass Photocopier ElectricDevice)	Mid-level-ontology.kif 26208-26208	Photocopier is a subclass of electric device

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	If an object is an instance of electric device and a process is an instance of process and the object is an instrument for the process, then there exists another object such that the other object is an instance of electricity and the other object is a resource for the process
(=> (and (instance ?DEV SpeakerDevice) (instance ?DEV ElectricDevice)) (instance ?DEV ElectricSpeakerDevice))	ComputerInput.kif 490-494	If an entity is an instance of speaker and the entity is an instance of electric device, then the entity is an instance of electric speaker device
(=> (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 25863-25876	If an engineering component is an instance of electrical plug and another engineering component is an instance of electric device and a hole is an instance of electrical outlet and the other engineering component is connected to the engineering component and the engineering component completely fills the hole and a third engineering component is an instance of power source and the third engineering component is connected to the hole, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the third engineering component and the process ends up at the other engineering component

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	If a process is an instance of data saving and an object is a resource for the process and the object is an instance of electronic data storage device, then there exists another object such that the other object is an instance of electric device and the other object is an instrument for the process and the object is connected to the other object holds during the time of existence of the process
(=> (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	If a collection is an instance of organization and electronics and appliance stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an entity such that the agent is an instance of selling and the entity is an instance of electric device and the entity is a patient of the agent
(=> (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 558-568	If acoustic is in the genre a content bearing object and the content bearing object is a record of a process, then there don't exist an object and another object such that the object is an instance of musical instrument and the object is an instrument for the process and the other object is an instance of electric device and the other object is a part of the object
(=> (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	If an object is an instance of temperature control, then there exist another object and an entity such that the other object is an instance of electric device and the object is a part of the other object and the other object has the purpose there exist another entity and a third entity such that the third entity is an instance of region and the other entity is an instance of process and the object is an instrument for the other entity and the entity is an air temperature of the third entity is a result of the other entity
(=> (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	If an object is an instance of switch device, then there exist a process, another process and another object such that the object is an instrument for the process and the process causes the other process and the other object is an instrument for the other process and the other object is an instance of electric device
(=> (instance ?S ElectricalSignalling) (exists (?D) (and (instance ?D ElectricDevice) (instrument ?S ?D))))	Mid-level-ontology.kif 2612-2617	If a process is an instance of electrical signalling, then there exists an object such that the object is an instance of electric device and the object is an instrument for the process
(=> (instance ?S ElectronicSignalling) (exists (?D) (and (instance ?D ElectricDevice) (instrument ?S ?D))))	Mid-level-ontology.kif 2624-2629	If a process is an instance of electronic signalling, then there exists an object such that the object is an instance of electric device and the object is an instrument for the process
(=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV))))	Music.kif 688-694	If electronic music is in the genre a content bearing object, then there exist an object and a process such that the object is an instance of electric device and the content bearing object is a record of the process and the object is an instrument for the process

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

KB Term:			Term intersection

English Word: