No TPTP formula. May not be expressible in strict first order. |
naics.kif 11043-11043 |
诊断成像中心 是 医学和诊断实验室 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11036-11036 |
医学实验室 是 医学和诊断实验室 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36803-36803 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36802-36802 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36801-36801 |
|