No TPTP formula. May not be expressible in strict first order. | Languages.kif 4764-4764 | ZenatiLanguage e' uma sub-classe de NorthernAfroAsiaticLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4770-4770 | EastZenatiLanguage e' uma sub-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4814-4814 | GhomaraGroupLanguage e' uma sub-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4829-4829 | MzabWarglaLanguage e' uma sub-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4879-4879 | RiffLanguage e' uma sub-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4909-4909 | ShawiyaLanguage e' uma sub-classe de ZenatiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4923-4923 | TidikeltLanguage e' uma sub-classe de ZenatiLanguage |
![]() |