No TPTP formula. May not be expressible in strict first order. |
naics.kif 10895-10895 |
除心理健康专家外的医生办公室 是 医生办公室 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10903-10903 |
医生心理健康专家办公室 是 医生办公室 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41808-41808 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41807-41807 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41806-41806 |
|