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 |
SheetMetalWorkManufacturing e' um sub-atributo de OrnamentalAndArchitecturalMetalProductsManufacturing |