No TPTP formula. May not be expressible in strict first order. | Languages.kif 4764-4764 | ZenatiLanguage est une sous-classe de NorthernAfroAsiaticLanguage |
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 |
![]() |