No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4770-4770 |
EastZenatiLanguage est une sous-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4814-4814 |
GhomaraGroupLanguage est une sous-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4829-4829 |
MzabWarglaLanguage est une sous-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4879-4879 |
RiffLanguage est une sous-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4909-4909 |
ShawiyaLanguage est une sous-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4923-4923 |
TidikeltLanguage est une sous-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64141-64141 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64140-64140 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64139-64139 |
|