|
|
  SteelIndustry
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1865-1865 | Steel industry is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1867-1867 | Steel forging is a subattribute of steel industry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1868-1868 | Steel foundries except investment is a subattribute of steel industry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1869-1869 | Steel investment foundries is a subattribute of steel industry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1866-1866 | Steel mills is a subattribute of steel industry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1870-1870 | Steel product manufacturing from purchased steel is a subattribute of steel industry |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55248-55248 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55247-55247 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55246-55246 |
|
|
|