No TPTP formula. May not be expressible in strict first order. |
naics.kif 4024-4026 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8332-8332 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8851-8851 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1701-1701 |
industryProductType AluminaRefining and Alumina |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4022-4022 |
AluminaRefining e' um sub-atributo de AluminaAndAluminumProductionAndProcessing |