No TPTP formula. May not be expressible in strict first order. |
naics.kif 745-745 |
CopperOreAndNickelOreMining est un sous-attribut de CopperNickelLeadAndZincMining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 738-738 |
LeadOreAndZincOreMining est un sous-attribut de CopperNickelLeadAndZincMining |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17250-17250 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17249-17249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17248-17248 |
|