No TPTP formula. May not be expressible in strict first order. |
naics.kif 1347-1347 |
子屬性 所有其他特殊貿易承包商 and 其他特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1339-1339 |
子屬性 建築設備和其他機械安裝承包商 and 其他特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1326-1326 |
子屬性 挖掘承包商 and 其他特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1319-1319 |
子屬性 玻璃和拋光承包商 and 其他特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1312-1312 |
子屬性 結構鋼安裝承包商 and 其他特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1332-1332 |
子屬性 破壞和拆除承包商 and 其他特殊貿易承包商 |
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 |
|