No TPTP formula. May not be expressible in strict first order. |
naics.kif 7458-7458 |
所有其他健康和个人护理商店 是 其他健康和个人护理商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7451-7451 |
食品保健品店 是 其他健康和个人护理商店 的 subAttribute |
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 |
|