| HeavyConstruction(heavy construction)
|
| 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 | Heavy construction is a subattribute of construction |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1158-1158 | Highway street bridge and tunnel construction is a subattribute of heavy construction |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1178-1178 | Other heavy construction is a subattribute of heavy construction |
| 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 |
|
|
|