|
|
  GeneralLineGroceryWholesalers
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6820-6823 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6818-6818 | General line grocery wholesalers is a subattribute of grocery and related product wholesalers |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25710-25710 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25709-25709 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25708-25708 |
|
|
|