ElectricDevice - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__ElectricDevice,s__EnglishLanguage,'"A Device that uses Electricity as its primary power source."')

Mid-level-ontology.kif 2481-2482

s__externalImage(s__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

s__subclass(s__ElectricDevice,s__Device)

s__instance(s__Device,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 2480-2480

Electric device is a subclass of device

appearance as argument number 2

s__disjoint(s__UnpoweredDevice,s__ElectricDevice)	Cars.kif 4484-4484	UnpoweredDevice is disjoint from electric device
s__subclass(s__Accelerometer,s__ElectricDevice) s__instance(s__Accelerometer,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	ComputerInput.kif 656-656	Accelerometer is a subclass of electric device
s__subclass(s__AirConditioner,s__ElectricDevice) s__instance(s__AirConditioner,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 25025-25025	Air conditioner is a subclass of electric device
s__subclass(s__Battery,s__ElectricDevice) s__instance(s__Battery,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 2516-2516	Battery is a subclass of electric device
s__subclass(s__CapacitorElement,s__ElectricDevice) s__instance(s__CapacitorElement,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	engineering.kif 532-532	Capacitor element is a subclass of electric device
s__subclass(s__Charger,s__ElectricDevice) s__instance(s__Charger,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	Cars.kif 2410-2410	Charger is a subclass of electric device
s__subclass(s__Computer,s__ElectricDevice) s__instance(s__Computer,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	QoSontology.kif 25-25	Computer is a subclass of electric device
s__subclass(s__DevicePowerSupply,s__ElectricDevice) s__instance(s__DevicePowerSupply,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	ComputingBrands.kif 3530-3530	Device power supply is a subclass of electric device
s__subclass(s__ElectricCoffeeMaker,s__ElectricDevice) s__instance(s__ElectricCoffeeMaker,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 24576-24576	Coffee maker is a subclass of electric device
s__instance(s__ElectricLightFixture,s__SetOrClass) s__subclass(s__ElectricLightFixture,s__ElectricDevice) s__instance(s__ElectricDevice,s__SetOrClass)	Cars.kif 5079-5079	ElectricLightFixture is a subclass of electric device
s__subclass(s__ElectricMotor,s__ElectricDevice) s__instance(s__ElectricMotor,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 1718-1718	Electric motor is a subclass of electric device
s__instance(s__ElectricSpeakerDevice,s__SetOrClass) s__subclass(s__ElectricSpeakerDevice,s__ElectricDevice) s__instance(s__ElectricDevice,s__SetOrClass)	ComputerInput.kif 511-511	ElectricSpeakerDevice is a subclass of electric device
s__instance(s__ElectricalCircuit,s__SetOrClass) s__subclass(s__ElectricalCircuit,s__ElectricDevice) s__instance(s__ElectricDevice,s__SetOrClass)	engineering.kif 983-983	Electrical circuit is a subclass of electric device
s__subclass(s__ElectricalComponent,s__ElectricDevice) s__instance(s__ElectricalComponent,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	engineering.kif 979-979	Electrical component is a subclass of electric device
s__subclass(s__ElectricalMotor,s__ElectricDevice) s__instance(s__ElectricalMotor,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	engineering.kif 794-794	Electrical motor is a subclass of electric device
s__instance(s__ElectrifiedRailwayCar,s__SetOrClass) s__subclass(s__ElectrifiedRailwayCar,s__ElectricDevice) s__instance(s__ElectricDevice,s__SetOrClass)	Transportation.kif 2175-2175	Electrified railway car is a subclass of electric device
s__subclass(s__Electromagnet,s__ElectricDevice) s__instance(s__Electromagnet,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	Cars.kif 3890-3890	Electromagnet is a subclass of electric device
s__subclass(s__FabricIron,s__ElectricDevice) s__instance(s__FabricIron,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 24176-24176	Iron is a subclass of electric device
s__instance(s__FaxMachine,s__SetOrClass) s__subclass(s__FaxMachine,s__ElectricDevice) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 2929-2929	Fax machine is a subclass of electric device
s__subclass(s__HairDryer,s__ElectricDevice) s__instance(s__HairDryer,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 24381-24381	Hair dryer is a subclass of electric device
s__instance(s__InductorElement,s__SetOrClass) s__subclass(s__InductorElement,s__ElectricDevice) s__instance(s__ElectricDevice,s__SetOrClass)	engineering.kif 549-549	Inductor element is a subclass of electric device
s__subclass(s__Microphone,s__ElectricDevice) s__instance(s__Microphone,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 1735-1735	Microphone is a subclass of electric device
s__subclass(s__Microwave,s__ElectricDevice) s__instance(s__Microwave,s__SetOrClass) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 24417-24417	Microwave is a subclass of electric device
s__instance(s__Photocopier,s__SetOrClass) s__subclass(s__Photocopier,s__ElectricDevice) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 25328-25328	Photocopier is a subclass of electric device
s__instance(s__Radar,s__SetOrClass) s__subclass(s__Radar,s__ElectricDevice) s__instance(s__ElectricDevice,s__SetOrClass)	Mid-level-ontology.kif 2520-2520	Radar is a subclass of electric device

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

( ! [V__EV,V__DEV] : (((s__instance(V__DEV,s__ElectricDevice) & s__instance(V__EV,s__Process) & s__instrument(V__EV,V__DEV)) => (( ? [V__R] : ((s__instance(V__R,s__Electricity) & s__resource(V__EV,V__R)))))) ) )	Mid-level-ontology.kif 2484-2492	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
( ! [V__DEV] : (((s__instance(V__DEV,s__SpeakerDevice) & s__instance(V__DEV,s__ElectricDevice)) => (s__instance(V__DEV,s__ElectricSpeakerDevice))) ) )	ComputerInput.kif 516-520	If an entity is an instance of speaker and the entity is an instance of electric device, then the entity is an instance of ElectricSpeakerDevice
( ! [V__PLUG,V__OUTLET,V__DEVICE,V__POWER] : (((s__instance(V__PLUG,s__ElectricalPlug) & s__instance(V__DEVICE,s__ElectricDevice) & s__instance(V__OUTLET,s__ElectricalOutlet) & s__connectedEngineeringComponents(V__DEVICE,V__PLUG) & s__completelyFills(V__PLUG,V__OUTLET) & s__instance(V__POWER,s__PowerSource) & s__connectedEngineeringComponents(V__POWER,V__OUTLET)) => (( ? [V__RE] : ((s__instance(V__RE,s__RadiatingElectromagnetic) & s__origin(V__RE,V__POWER) & s__destination(V__RE,V__DEVICE)))))) ) )	Mid-level-ontology.kif 24984-24997	If an engineering component is an instance of electrical plug and another engineering component is an instance of electric device and a third engineering component is an instance of electrical outlet and the other engineering component is connected to the engineering component and the engineering component completely fills the third engineering component and a fourth engineering component is an instance of power source and the fourth engineering component is connected to the third engineering component, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the fourth engineering component and the process ends up at the other engineering component

consequent

No TPTP formula. May not be expressible in strict first order.	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 ElectronicDataStorageDevice, 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
( ! [V__ORG] : (((s__instance(V__ORG,s__Organization) & s__attribute(V__ORG,s__ElectronicsAndApplianceStores)) => (( ? [V__EV, V__MEM] : ((s__instance(V__MEM,s__Process) & (s__member(V__MEM,V__ORG) & s__agent(V__MEM,V__EV) & ( ? [V__THING] : ((s__instance(V__EV,s__Selling) & s__instance(V__THING,s__ElectricDevice) & s__patient(V__EV,V__THING)))))))))) ) )	naics.kif 7193-7205	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
( ! [V__MR,V__MM] : (((s__instance(V__MR,s__ContentBearingObject) & s__instance(V__MM,s__Process)) => (((s__musicGenre(V__MR,s__AcousticMusic) & s__record(V__MR,V__MM)) => (~(( ? [V__I, V__ED] : ((s__instance(V__I,s__MusicalInstrument) & s__instrument(V__MM,V__I) & s__instance(V__ED,s__ElectricDevice) & s__part(V__ED,V__I))))))))) ) )	Music.kif 555-565	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
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1138-1150	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
( ! [V__DEVICE] : ((s__instance(V__DEVICE,s__SwitchDevice) => (( ? [V__PROC1, V__PROC2, V__ELECTRIC] : ((s__instance(V__PROC1,s__Process) & s__instance(V__PROC2,s__Process) & (s__instrument(V__PROC1,V__DEVICE) & s__causes(V__PROC1,V__PROC2) & s__instrument(V__PROC2,V__ELECTRIC) & s__instance(V__ELECTRIC,s__ElectricDevice))))))) ) )	Mid-level-ontology.kif 1726-1733	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
( ! [V__S] : ((s__instance(V__S,s__ElectricalSignalling) => (( ? [V__D] : ((s__instance(V__D,s__ElectricDevice) & s__instrument(V__S,V__D)))))) ) )	Mid-level-ontology.kif 2578-2583	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
( ! [V__S] : ((s__instance(V__S,s__ElectronicSignalling) => (( ? [V__D] : ((s__instance(V__D,s__ElectricDevice) & s__instrument(V__S,V__D)))))) ) )	Mid-level-ontology.kif 2590-2595	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
( ! [V__MR] : ((s__instance(V__MR,s__ContentBearingObject) => ((s__musicGenre(V__MR,s__ElectronicMusic) => (( ? [V__DV, V__MM] : ((s__instance(V__MM,s__Process) & (s__instance(V__DV,s__ElectricDevice) & s__record(V__MR,V__MM) & s__instrument(V__MM,V__DV))))))))) ) )	Music.kif 685-691	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: