No TPTP formula. May not be expressible in strict first order. |
naics.kif 11069-11069 |
所有其他门诊医疗服务 是 其他门诊医疗服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11062-11062 |
救护车服务 是 其他门诊医疗服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42714-42714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42713-42713 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42712-42712 |
|