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 12732-12734 |
|
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 12730-12730 |
Translating is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12731-12731 |
Translating is a subclass of dual object process |