ElectricDevice - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2502-2503
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1097-1097
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2501-2501	Electric device is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4484-4484	UnpoweredDevice is disjoint from electric device
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 628-628	Accelerometer is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25379-25379	Air conditioner is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2537-2537	Battery is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 532-532	Capacitor element is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2410-2410	Charger is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 25-25	Computer is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3522-3522	Device power supply is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24930-24930	Coffee maker is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5079-5079	ElectricLightFixture is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1739-1739	Electric motor is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 485-485	ElectricSpeakerDevice is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 983-983	Electrical circuit is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 979-979	Electrical component is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 794-794	Electrical motor is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2175-2175	Electrified railway car is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3890-3890	Electromagnet is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24532-24532	Iron is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2950-2950	Fax machine is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24737-24737	Hair dryer is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 549-549	Inductor element is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1756-1756	Microphone is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24773-24773	Microwave is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25682-25682	Photocopier is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2541-2541	Radar is a subclass of electric device

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2505-2513	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
No TPTP formula. May not be expressible in strict first order.	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 ElectricSpeakerDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25338-25351	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Music.kif 556-566	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1747-1754	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2599-2604	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2611-2616	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
No TPTP formula. May not be expressible in strict first order.	Music.kif 686-692	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: