No TPTP formula. May not be expressible in strict first order. |
naics.kif 11082-11082 |
所有其他杂项门诊医疗服务 是 所有其他门诊医疗服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11075-11075 |
血液和器官库 是 所有其他门诊医疗服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6552-6552 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6551-6551 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6550-6550 |
|