No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1714-1714 |
Coal mining is a subattribute of coal industry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1715-1715 |
Coal products manufacturing is a subattribute of coal industry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15336-15336 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15335-15335 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15334-15334 |
|