No TPTP formula. May not be expressible in strict first order. |
naics.kif 7458-7458 |
子屬性 所有其他健康和個人護理商店 and 其他健康和個人護理商店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7451-7451 |
子屬性 食品保健品店 and 其他健康和個人護理商店 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43088-43088 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43087-43087 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43086-43086 |
|