No TPTP formula. May not be expressible in strict first order. |
naics.kif 1347-1347 |
所有其他特殊贸易承包商 是 其他特殊贸易承包商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1339-1339 |
建筑设备和其他机械安装承包商 是 其他特殊贸易承包商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1326-1326 |
挖掘承包商 是 其他特殊贸易承包商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1319-1319 |
玻璃和抛光承包商 是 其他特殊贸易承包商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1312-1312 |
结构钢安装承包商 是 其他特殊贸易承包商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1332-1332 |
破坏和拆除承包商 是 其他特殊贸易承包商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43500-43500 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43499-43499 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43498-43498 |
|