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 12778-12780 |
|
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 12776-12776 |
Translating est une sous-classe de d�veloppement de contenu |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12777-12777 |
Translating est une sous-classe de processus requ�rant deux patients |