No TPTP formula. May not be expressible in strict first order.	naics.kif 5885-5885	Aircraft manufacturing is a subattribute of aerospace product and parts manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 8583-8583	Airport operations is a subattribute of support activities for air transportation
No TPTP formula. May not be expressible in strict first order.	naics.kif 3189-3189	Alkalies and chlorine manufacturing is a subattribute of other basic inorganic chemical manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 11069-11069	All other ambulatory health care services is a subattribute of other ambulatory health care services
No TPTP formula. May not be expressible in strict first order.	naics.kif 11546-11546	All other amusement and recreation industries is a subattribute of other amusement and recreation industries
No TPTP formula. May not be expressible in strict first order.	naics.kif 492-492	All other animal production is a subattribute of other animal production
No TPTP formula. May not be expressible in strict first order.	naics.kif 11805-11805	All other automotive repair and maintenance is a subattribute of other automotive repair and maintenance
No TPTP formula. May not be expressible in strict first order.	naics.kif 3203-3203	All other basic inorganic chemical manufacturing is a subattribute of other basic inorganic chemical manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 3239-3239	All other basic organic chemical manufacturing is a subattribute of other basic organic chemical manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 10437-10437	All other business support services is a subattribute of other business support services
No TPTP formula. May not be expressible in strict first order.	naics.kif 3453-3453	All other chemical product and preparation manufacturing is a subattribute of other chemical product and preparation manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 9785-9785	All other consumer goods rental is a subattribute of other consumer goods rental
No TPTP formula. May not be expressible in strict first order.	naics.kif 2908-2908	All other converted paper product manufacturing is a subattribute of other converted paper product manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 308-308	All other crop farming is a subattribute of other crop farming
No TPTP formula. May not be expressible in strict first order.	naics.kif 2408-2408	All other cut and sew apparel manufacturing is a subattribute of other cut and sew apparel manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 5655-5655	All other electrical equipment and component manufacturing is a subattribute of other electrical equipment and component manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 4569-4569	All other fabricated metal product manufacturing is a subattribute of other fabricated metal product manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 9396-9396	All other financial investment activities is a subattribute of other financial investment activities
No TPTP formula. May not be expressible in strict first order.	naics.kif 1804-1804	All other food manufacturing is a subattribute of other food manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 7738-7738	All other general merchandise stores is a subattribute of other general merchandise stores
No TPTP formula. May not be expressible in strict first order.	naics.kif 5054-5054	All other general purpose machinery manufacturing is a subattribute of other general purpose machinery manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 136-136	All other grain farming is a subattribute of other grain farming
No TPTP formula. May not be expressible in strict first order.	naics.kif 7458-7458	All other health and personal care stores is a subattribute of other health and personal care stores
No TPTP formula. May not be expressible in strict first order.	naics.kif 1208-1208	All other heavy construction is a subattribute of other heavy construction
No TPTP formula. May not be expressible in strict first order.	naics.kif 7171-7171	All other home furnishings stores is a subattribute of other home furnishings stores
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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