No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3245-3246 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13073-13076 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9977-9977 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10827-10827 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10833-10833 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10829-10829 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10831-10831 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10822-10822 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10825-10825 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10823-10823 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10832-10832 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10830-10830 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10824-10824 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10828-10828 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13072-13072 |
子類 示範 and Disseminating |