No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6956-6961 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11682-11682 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11681-11681 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10209-10209 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6955-6955 |
Prussian language is an instance of western baltic language |