|
|
  BeverageManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1859-1861 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8376-8376 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8978-8978 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8979-8979 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1857-1857 | Beverage manufacturing is a subattribute of beverage and tobacco product manufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1889-1889 | Breweries is a subattribute of beverage manufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1901-1901 | Distilleries is a subattribute of beverage manufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1863-1863 | Soft drink and ice manufacturing is a subattribute of beverage manufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1895-1895 | Wineries is a subattribute of beverage manufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10919-10919 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10918-10918 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10917-10917 |
|
|
|
