TreeView 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 3006-3007
(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 3005-3005	Electric device is a subclass of device

appearance as argument number 2

(disjoint UnpoweredDevice ElectricDevice)	Cars.kif 4542-4542	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 27877-27877	Air conditioner is a subclass of electric device
(subclass Battery ElectricDevice)	Mid-level-ontology.kif 3041-3041	Battery is a subclass of electric device
(subclass CapacitorElement ElectricDevice)	engineering.kif 534-534	Capacitor element is a subclass of electric device
(subclass Charger ElectricDevice)	Cars.kif 2394-2394	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 3554-3554	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 5137-5137	Electric light fixture is a subclass of electric device
(subclass ElectricMotor ElectricDevice)	Mid-level-ontology.kif 2243-2243	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 1297-1297	Electrical circuit is a subclass of electric device
(subclass ElectricalComponent ElectricDevice)	engineering.kif 1293-1293	Electrical component is a subclass of electric device
(subclass ElectricalMotor ElectricDevice)	engineering.kif 1109-1109	Electrical motor is a subclass of electric device
(subclass ElectrifiedRailwayCar ElectricDevice)	Transportation.kif 2341-2341	Electrified railway car is a subclass of electric device
(subclass Electromagnet ElectricDevice)	Cars.kif 3948-3948	Electromagnet is a subclass of electric device
(subclass FabricIron ElectricDevice)	Mid-level-ontology.kif 26829-26829	Iron is a subclass of electric device
(subclass FaxMachine ElectricDevice)	Mid-level-ontology.kif 3458-3458	Fax machine is a subclass of electric device
(subclass FitbitDevice ElectricDevice)	Medicine.kif 4466-4466	Fitbit is a subclass of electric device
(subclass HairDryer ElectricDevice)	Mid-level-ontology.kif 27034-27034	Hair dryer is a subclass of electric device
(subclass InductorElement ElectricDevice)	engineering.kif 551-551	Inductor element is a subclass of electric device
(subclass Microphone ElectricDevice)	Mid-level-ontology.kif 2260-2260	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 28181-28181	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 3009-3017	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 27836-27849	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 561-571	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 1452-1464	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 2251-2258	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 3103-3108	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 3115-3120	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 691-697	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 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

KB Term:			Term intersection

English Word: