No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2976-2978 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10875-10878 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1736-1738 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6376-6376 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6373-6373 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6374-6374 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6377-6377 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6378-6378 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5959-5959 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6375-6375 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6379-6379 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10873-10873 |
子類 設計 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10872-10872 |
子類 設計 and IntentionalProcess |