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 13576-13576 |
|
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 13575-13575 |
Looking e' uma sub-classe de Processo Intencional |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13574-13574 |
Looking e' uma sub-classe de Visao |