|
|
  ClayBuildingMaterialAndRefractoriesManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3751-3754 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3749-3749 | ClayBuildingMaterialAndRefractoriesManufacturing e' um sub-atributo de ClayProductAndRefractoryManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3756-3756 | BrickAndStructuralClayTileManufacturing e' um sub-atributo de ClayBuildingMaterialAndRefractoriesManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3763-3763 | CeramicWallAndFloorTileManufacturing e' um sub-atributo de ClayBuildingMaterialAndRefractoriesManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3777-3777 | ClayRefractoryManufacturing e' um sub-atributo de ClayBuildingMaterialAndRefractoriesManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3784-3784 | NonclayRefractoryManufacturing e' um sub-atributo de ClayBuildingMaterialAndRefractoriesManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3770-3770 | OtherStructuralClayProductManufacturing e' um sub-atributo de ClayBuildingMaterialAndRefractoriesManufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15066-15066 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15065-15065 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15064-15064 |
|
|
|