| GroceryStores(grocery stores)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7337-7339 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9281-9281 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9279-9279 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9280-9280 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7335-7335 | Grocery stores is a subattribute of food and beverage stores |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7349-7349 | Convenience stores is a subattribute of grocery stores |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7341-7341 | Supermarkets and other grocery except convenience stores is a subattribute of grocery stores |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26670-26670 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26669-26669 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26668-26668 |
|
|
|