No TPTP formula. May not be expressible in strict first order. |
naics.kif 7368-7368 |
子屬性 魚類和海鮮市場 and 特色食品店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7375-7375 |
子屬性 水果和蔬菜市場 and 特色食品店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7361-7361 |
子屬性 肉類市場 and 特色食品店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7382-7382 |
子屬性 其他特色食品店 and 特色食品店 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54584-54584 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54583-54583 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54582-54582 |
|