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 13600-13600 |
|
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 13599-13599 |
Looking est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13598-13598 |
Looking est une sous-classe de voir |