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 | 子屬性 雜貨店 and 食品和飲料店 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7349-7349 | 子屬性 便利店 and 雜貨店 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7341-7341 | 子屬性 除便利店外的超市和其他雜貨店 and 雜貨店 |
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 |