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 |
子屬性 窄幅面料廠 and 窄幅面料廠和飛梭機器刺繡 |