No TPTP formula. May not be expressible in strict first order. |
naics.kif 10980-10980 |
家庭计划中心 是 门诊护理中心 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10995-10995 |
其他门诊护理中心 是 门诊护理中心 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10987-10987 |
门诊心理健康和药物滥用中心 是 门诊护理中心 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43710-43710 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43709-43709 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43708-43708 |
|