No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1422-1423 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13902-13903 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7313-7313 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6697-6697 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7309-7309 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7315-7315 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7310-7310 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7308-7308 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7316-7316 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7312-7312 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7307-7307 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7314-7314 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7306-7306 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7311-7311 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13901-13901 |
子類 Melting and StateChange |