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 30990-30990	Electrical product attribute 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 21504-21504
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21503-21503
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21502-21502
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30989-30989

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 exist the agent3 and an object such that the entity is a patient of the agent3 and the 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: