SteelIndustry(steel industry) |
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 55250-55250 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55249-55249 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55248-55248 |