No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12779-12787 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10088-10088 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11325-11325 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11326-11326 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11327-11327 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12778-12778 |
Lakota language is an instance of dakota group language |