No TPTP formula. May not be expressible in strict first order. |
naics.kif 1208-1208 |
所有其他重型建筑 是 其他重型建筑 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1200-1200 |
工业非建筑结构 是 其他重型建筑 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1192-1192 |
电力和通信输电线路建设 是 其他重型建筑 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1184-1184 |
下水道和管道施工 是 其他重型建筑 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43092-43092 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43091-43091 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43090-43090 |
|