TreeView Knowledge Base Browser - ElectricalEquipmentApplianceAndComponentManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5416-5419
No TPTP formula. May not be expressible in strict first order.	naics.kif 5414-5414	Electrical equipment appliance and component manufacturing is an instance of industry attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 6143-6143	Miscellaneous manufacturing is disjoint from electrical equipment appliance and component manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 5445-5445	Electric lighting equipment manufacturing is a subattribute of electrical equipment appliance and component manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 5550-5550	Electrical equipment manufacturing is a subattribute of electrical equipment appliance and component manufacturing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30494-30494	ElectricalProductAttribute is a subattribute of electrical equipment appliance and component manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 5487-5487	Household appliance manufacturing is a subattribute of electrical equipment appliance and component manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 5585-5585	Other electrical equipment and component manufacturing is a subattribute of electrical equipment appliance and component manufacturing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21495-21495
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21494-21494
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21493-21493
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30493-30493

antecedent

No TPTP formula. May not be expressible in strict first order.

naics.kif 5421-5443

If a collection is an instance of organization and electrical equipment appliance and component manufacturing 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 exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of machine and there exists the agent3 such that the entity is a patient of the agent3 and an object is a resource for the agent3 and the object is an instance of electricity and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2

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: