No TPTP formula. May not be expressible in strict first order. |
naics.kif 2008-2011 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11493-11493 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11492-11492 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11491-11491 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11494-11494 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11490-11490 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2006-2006 |
Narrow fabric mills is a subattribute of narrow fabric mills and schiffli machine embroidery |