No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1738-1738 |
Fertilizer manufacturing is a subattribute of fertilizer industry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1739-1739 |
Fertilizer mineral mining is a subattribute of fertilizer industry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23546-23546 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23545-23545 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23544-23544 |
|