No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1764-1764 |
LeadManufacturing est un sous-attribut de LeadIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1763-1763 |
LeadOreMining est un sous-attribut 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 |
|