No TPTP formula. May not be expressible in strict first order. |
naics.kif 4353-4356 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10193-10193 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11629-11629 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11626-11626 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11628-11628 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11630-11630 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11624-11624 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11627-11627 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11625-11625 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4351-4351 |
子屬性 製版工作 and 板材加工和製造結構產品製造 |