No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1767-1767 |
LeadOreMining est un sous-attribut de LeadOreAndZincOreMining |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1919-1919 |
ZincOreMining est un sous-attribut de LeadOreAndZincOreMining |
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 |
|