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 43086-43086 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43085-43085 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43084-43084 |
|