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 43094-43094 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43093-43093 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43092-43092 |
|