No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3127-3128 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12088-12090 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4913-4913 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5035-5035 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5034-5034 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5033-5033 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12087-12087 |
子類 判斷 and Selecting |