No TPTP formula. May not be expressible in strict first order. |
naics.kif 4374-4377 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11835-11835 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10252-10252 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11836-11836 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11833-11833 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4372-4372 |
Sheet metal work manufacturing is a subattribute of ornamental and architectural metal products manufacturing |