No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1767-1767 |
Lead ore mining is a subattribute of lead ore and zinc ore mining |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1919-1919 |
Zinc ore mining is a subattribute of lead ore and zinc ore mining |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33641-33641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33640-33640 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33639-33639 |
|