No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6928-6946 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6672-6672 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7199-7199 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7200-7200 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7201-7201 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6927-6927 |
LithuanianLanguage e' uma instancia de EasternBalticLanguage |