No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3209-3210 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12754-12756 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8118-8118 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6928-6928 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8112-8112 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8108-8108 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8110-8110 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8109-8109 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8113-8113 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8111-8111 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8117-8117 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8116-8116 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8114-8114 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8115-8115 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12752-12752 |
翻译 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12753-12753 |
翻译 是 双受体过程 的 subclass |