No TPTP formula. May not be expressible in strict first order. |
naics.kif 7401-7401 |
子屬性 所有其他特色食品店 and 其他特色食品店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7388-7388 |
子屬性 烘焙店 and 其他特色食品店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7394-7394 |
子屬性 糖果和堅果店 and 其他特色食品店 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43506-43506 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43505-43505 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43504-43504 |
|