|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6135-6135 | Miscellaneous manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7746-7746 | Miscellaneous store retailers is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7017-7017 | Motor vehicle and parts dealers is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1811-1811 | Motor vehicle industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1822-1822 | Natural gas industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3684-3684 | Nonmetallic mineral product manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7871-7871 | Nonstore retailers is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6166-6166 | Oat farming is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11710-11710 | Other services except public administration is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2711-2711 | Paper manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3047-3047 | Petroleum and coal products manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1829-1829 | Petroleum industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8459-8459 | Pipeline transportation is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3491-3491 | Plastics and rubber products manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8701-8701 | Postal service is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3937-3937 | Primary metal manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2917-2917 | Printing and related support activities is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9856-9856 | Professional scientific and technical services is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12206-12206 | Public administration is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8028-8028 | Rail transportation is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9594-9594 | Real estate and rental and leasing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1858-1858 | Refrigeration equipment manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1849-1849 | Refrigerator and freezer industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6176-6176 | Rye farming is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8522-8522 | Scenic and sightseeing transportation is an instance of industry attribute |
| 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