|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1144-1144 | Service sector is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6181-6181 | Sorghum farming is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7594-7594 | Sporting goods hobby book and music stores is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1865-1865 | Steel industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8569-8569 | Support activities for transportation is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1883-1883 | Textile industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1938-1938 | Textile mills is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2079-2079 | Textile product mills is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1891-1891 | Tourism industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8338-8338 | Transit and ground passenger transportation is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5677-5677 | Transportation equipment manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8247-8247 | Truck transportation is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 923-923 | Utilities is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6195-6195 | Vegetable farming is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1908-1908 | Vegetable oil industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8770-8770 | Warehousing and storage is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8074-8074 | Water transportation industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6369-6369 | Wholesale trade is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2557-2557 | Wood product manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1914-1914 | Zinc industry is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1922-1922 | Zinc manufacturing is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29905-29905 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29904-29904 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29903-29903 |
|
|
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