BuildingDevelopingAndGeneralContracting
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1099-1101 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1097-1097 | BuildingDevelopingAndGeneralContracting e' um sub-atributo de Construction |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1103-1103 | LandSubdivisionAndLandDevelopment e' um sub-atributo de BuildingDevelopingAndGeneralContracting |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1130-1130 | NonresidentialBuildingConstruction e' um sub-atributo de BuildingDevelopingAndGeneralContracting |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1109-1109 | ResidentialBuildingConstruction e' um sub-atributo de BuildingDevelopingAndGeneralContracting |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12239-12239 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12238-12238 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12237-12237 |