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 12110-12112 |
|
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 12109-12109 |
子類 判斷 and Selecting |