Construction(construction) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1076-1078 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1716-1716 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1074-1074 | Construction is an instance of industry attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1097-1097 | Building developing and general contracting is a subattribute of construction |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1152-1152 | Heavy construction is a subattribute of construction |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1215-1215 | Special trade contractors is a subattribute of construction |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16788-16788 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16787-16787 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16786-16786 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1080-1095 |
|