No TPTP formula. May not be expressible in strict first order. |
naics.kif 8492-8494 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11613-11613 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11617-11617 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11612-11612 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11610-11610 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11614-11614 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10189-10189 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11615-11615 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11616-11616 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11618-11618 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11611-11611 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11608-11608 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11609-11609 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8490-8490 |
子屬性 原油管道運輸 and 管道運輸 |