No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6776-6788 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8350-8350 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8909-8909 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8910-8910 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6775-6775 |
ArvanitikaAlbanianLanguage est une instance de ToskGroupAlbanianLanguage |