No TPTP formula. May not be expressible in strict first order. |
naics.kif 745-745 |
CopperOreAndNickelOreMining e' um sub-atributo de CopperNickelLeadAndZincMining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 738-738 |
LeadOreAndZincOreMining e' um sub-atributo 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 |
|