|
|
  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 | HeavyConstruction e' um sub-atributo de Construction |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1158-1158 | HighwayStreetBridgeAndTunnelConstruction e' um sub-atributo de HeavyConstruction |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1178-1178 | OtherHeavyConstruction e' um sub-atributo de HeavyConstruction |
| 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 |
|
|
|
