No TPTP formula. May not be expressible in strict first order. |
naics.kif 1061-1061 |
子屬性 污水處理設施 and 水污水和其他系統 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1067-1067 |
子屬性 蒸汽和空調供應 and 水污水和其他系統 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1054-1054 |
子屬性 供水和灌溉系統 and 水污水和其他系統 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62459-62459 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62458-62458 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62457-62457 |
|