No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1767-1767 |
LeadOreMining e' um sub-atributo de LeadOreAndZincOreMining |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1919-1919 |
ZincOreMining e' um sub-atributo 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 |
|