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 2536-2537
(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 2535-2535	Electric device is a subclass of device

appearance as argument number 2

(disjoint UnpoweredDevice ElectricDevice)	Cars.kif 4466-4466	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 26252-26252	Air conditioner is a subclass of electric device
(subclass Battery ElectricDevice)	Mid-level-ontology.kif 2571-2571	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 2393-2393	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 3559-3559	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 5061-5061	Electric light fixture is a subclass of electric device
(subclass ElectricMotor ElectricDevice)	Mid-level-ontology.kif 1773-1773	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 984-984	Electrical circuit is a subclass of electric device
(subclass ElectricalComponent ElectricDevice)	engineering.kif 980-980	Electrical component is a subclass of electric device
(subclass ElectricalMotor ElectricDevice)	engineering.kif 796-796	Electrical motor is a subclass of electric device
(subclass ElectrifiedRailwayCar ElectricDevice)	Transportation.kif 2336-2336	Electrified railway car is a subclass of electric device
(subclass Electromagnet ElectricDevice)	Cars.kif 3872-3872	Electromagnet is a subclass of electric device
(subclass FabricIron ElectricDevice)	Mid-level-ontology.kif 25464-25464	Iron is a subclass of electric device
(subclass FaxMachine ElectricDevice)	Mid-level-ontology.kif 2988-2988	Fax machine is a subclass of electric device
(subclass FitbitDevice ElectricDevice)	Medicine.kif 4459-4459	Fitbit is a subclass of electric device
(subclass HairDryer ElectricDevice)	Mid-level-ontology.kif 25669-25669	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 1790-1790	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 26556-26556	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 2539-2547	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 26211-26224	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 559-569	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 1139-1151	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 1781-1788	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 2633-2638	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 2645-2650	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 689-695	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: