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 | 重型建筑 是 施工 的 subAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1158-1158 | 公路街桥和隧道施工 是 重型建筑 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1178-1178 | 其他重型建筑 是 重型建筑 的 subAttribute |
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 |