|
|
  ZincManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1922-1922 | ZincManufacturing est une instance de IndustryAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64191-64191 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64190-64190 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64189-64189 |
|
|
|