No TPTP formula. May not be expressible in strict first order. |
naics.kif 10718-10718 |
所有其他杂项废物管理服务 是 所有其他废物管理服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10711-10711 |
化粪池及相关服务 是 所有其他废物管理服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6948-6948 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6947-6947 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6946-6946 |
|