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 |