No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12306-12312 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8842-8842 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8327-8327 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8840-8840 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8841-8841 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8843-8843 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12305-12305 |
Alabama language is an instance of eastern muskogean language |