|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9179-9179 | Finance and insurance is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7313-7313 | Food and beverage stores is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1355-1355 | Food manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6191-6191 | Fruit farming is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7119-7119 | Furniture and home furnishings stores is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5988-5988 | Furniture and related product manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1751-1751 | Furniture industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7466-7466 | Gasoline stations is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7696-7696 | General merchandise stores is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1758-1758 | Handicraft industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7415-7415 | Health and personal care stores is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10877-10877 | Health care and social assistance is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1143-1143 | Industrial sector is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8829-8829 | Information industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1762-1762 | Lead industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1770-1770 | Lead manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2451-2451 | Leather and allied product manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1773-1773 | Lumber industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4638-4638 | Machinery manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10270-10270 | Management of companies and enterprises is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30995-30995 | Mechanical is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1787-1787 | Metallurgy industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6186-6186 | Millet farming is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 626-626 | Mining is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1797-1797 | Mining industry 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