No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1867-1867 |
SteelForging est un sous-attribut de SteelIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1868-1868 |
SteelFoundriesExceptInvestment est un sous-attribut de SteelIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1869-1869 |
SteelInvestmentFoundries est un sous-attribut de SteelIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1866-1866 |
SteelMills est un sous-attribut de SteelIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1870-1870 |
SteelProductManufacturingFromPurchasedSteel est un sous-attribut de SteelIndustry |
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 |
|