No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9683-9705 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10102-10102 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11370-11370 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11369-11369 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11367-11367 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11368-11368 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9682-9682 |
LombardLanguage est une instance de GalloItalianLanguage |