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 10887-10890 |
|
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 10885-10885 |
Designing e' uma sub-classe de Desenvolvimento de Conteudo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10884-10884 |
Designing e' uma sub-classe de Processo Intencional |