No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1764-1764 |
LeadManufacturing e' um sub-atributo de LeadIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1763-1763 |
LeadOreMining e' um sub-atributo de LeadIndustry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33617-33617 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33616-33616 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33615-33615 |
|