No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12362-12377 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8418-8418 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9054-9054 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9055-9055 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9056-9056 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9057-9057 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9058-9058 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12361-12361 |
ChoctawLanguage est une instance de WesternMuskogeanLanguage |