No TPTP formula. May not be expressible in strict first order. |
naics.kif 12355-12355 |
管理空气和水资源以及固体废物管理计划 是 管理环境品质计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12364-12364 |
管理保护计划 是 管理环境品质计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5484-5484 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5483-5483 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5482-5482 |
|