No TPTP formula. May not be expressible in strict first order. |
naics.kif 696-696 |
AnthraciteMining e' um sub-atributo de CoalMining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 682-682 |
BituminousCoalAndLigniteSurfaceMining e' um sub-atributo de CoalMining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 689-689 |
BituminousCoalUndergroundMining e' um sub-atributo de CoalMining |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15342-15342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15341-15341 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15340-15340 |
|