No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11493-11504 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10343-10343 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12186-12186 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12184-12184 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11492-11492 |
YaeyamaLanguage est une instance de SakishimaLanguage |