No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1732-1732 |
Copper ore mining is a subattribute of copper ore and nickel ore mining |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1803-1803 |
Nickel ore mining is a subattribute of copper ore and nickel ore mining |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17262-17262 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17261-17261 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17260-17260 |
|