No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3312-3312 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13554-13554 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6677-6677 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13553-13553 |
Looking e' uma sub-classe de Processo Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13552-13552 |
Looking e' uma sub-classe de Visao |