No TPTP formula. May not be expressible in strict first order. |
naics.kif 12355-12355 |
子屬性 管理空氣和水資源以及固體廢物管理計劃 and 管理環境品質計劃 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12364-12364 |
子屬性 管理保護計劃 and 管理環境品質計劃 |
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 |
|