|
|
  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 est un sous-attribut de ClayProductAndRefractoryManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3756-3756 | BrickAndStructuralClayTileManufacturing est un sous-attribut de ClayBuildingMaterialAndRefractoriesManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3763-3763 | CeramicWallAndFloorTileManufacturing est un sous-attribut de ClayBuildingMaterialAndRefractoriesManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3777-3777 | ClayRefractoryManufacturing est un sous-attribut de ClayBuildingMaterialAndRefractoriesManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3784-3784 | NonclayRefractoryManufacturing est un sous-attribut de ClayBuildingMaterialAndRefractoriesManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3770-3770 | OtherStructuralClayProductManufacturing est un sous-attribut 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 |
|
|
|