GroceryStores
|
|
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 | GroceryStores est un sous-attribut de FoodAndBeverageStores |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7349-7349 | ConvenienceStores est un sous-attribut de GroceryStores |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7341-7341 | SupermarketsAndOtherGroceryExceptConvenienceStores est un sous-attribut de GroceryStores |
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 |