No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1767-1767 |
子屬性 鉛礦開採 and 鉛礦石和鋅礦開採 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1919-1919 |
子屬性 鋅礦開採 and 鉛礦石和鋅礦開採 |
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 |
|