No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4775-4775 |
GhadamesLanguage est une instance de EastZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4819-4819 |
GhomaraLanguage est une instance de EastZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4783-4783 |
NafusiLanguage est une instance de EastZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4805-4805 |
SenedLanguage est une instance de EastZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21030-21030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21029-21029 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21028-21028 |
|