TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2536-2537
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1096-1096
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2535-2535	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 4466-4466	Unpowered device 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 26021-26021	Air conditioner is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2571-2571	Battery is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 535-535	Capacitor element is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2393-2393	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 3559-3559	Device power supply is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Food.kif 374-374	Coffee maker is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5061-5061	Electric light fixture is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1773-1773	Electric motor is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 485-485	Electric speaker device is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 984-984	Electrical circuit is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 980-980	Electrical component is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 796-796	Electrical motor is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2173-2173	Electrified railway car is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3872-3872	Electromagnet is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25233-25233	Iron is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2988-2988	Fax machine is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4459-4459	Fitbit is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25438-25438	Hair dryer is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	engineering.kif 552-552	Inductor element is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1790-1790	Microphone is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Food.kif 350-350	Microwave is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26325-26325	Photocopier 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 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
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 electric speaker device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25980-25993	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

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 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
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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 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: