HeavyConstruction(重型建築) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1154-1156 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11143-11143 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11144-11144 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11142-11142 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11140-11140 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1152-1152 | 子屬性 重型建築 and 施工 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1158-1158 | 子屬性 公路街橋和隧道施工 and 重型建築 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1178-1178 | 子屬性 其他重型建築 and 重型建築 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27816-27816 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27815-27815 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27814-27814 |