No TPTP formula. May not be expressible in strict first order. |
naics.kif 7430-7430 |
化妆品美容用品和香水店 是 健康和个人护理店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7438-7438 |
眼镜店 是 健康和个人护理店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7445-7445 |
其他健康和个人护理商店 是 健康和个人护理店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7423-7423 |
药店和药店 是 健康和个人护理店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27744-27744 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27743-27743 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27742-27742 |
|