No TPTP formula. May not be expressible in strict first order. |
naics.kif 1061-1061 |
污水处理设施 是 水污水和其他系统 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1067-1067 |
蒸汽和空调供应 是 水污水和其他系统 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1054-1054 |
供水和灌溉系统 是 水污水和其他系统 的 subAttribute |
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 |
|