|
|
  CeramicWallAndFloorTileManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3765-3768 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3763-3763 | 子屬性 陶瓷牆和地磚製造 and 粘土建築材料和耐火材料製造 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13932-13932 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13931-13931 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13930-13930 |
|
|
|