No TPTP formula. May not be expressible in strict first order. |
naics.kif 1269-1269 |
子屬性 木工和地板承包商 and 特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1294-1294 |
子屬性 混凝土承包商 and 特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1234-1234 |
子屬性 電氣承包商 and 特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1240-1240 |
子屬性 砌體乾砌牆保溫和瓷磚承包商 and 特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1306-1306 |
子屬性 其他特殊貿易承包商 and 特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1228-1228 |
子屬性 油漆和牆布承包商 and 特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1221-1221 |
子屬性 管道暖氣和空調承包商 and 特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1288-1288 |
子屬性 屋頂壁板和鈑金承包商 and 特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1300-1300 |
子屬性 水井鑽井承包商 and 特殊貿易承包商 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54564-54564 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54563-54563 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54562-54562 |
|