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 |
Alumina is an industry product type of alumina refining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4022-4022 |
Alumina refining is a subattribute of alumina and aluminum production and processing |