No TPTP formula. May not be expressible in strict first order. | Languages.kif 4614-4614 | EasternBerberLanguage e' uma sub-classe de BerberLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4620-4620 | AwjilaSoknaLanguage e' uma sub-classe de EasternBerberLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4642-4642 | SiwaGroupLanguage e' uma sub-classe de EasternBerberLanguage |
![]() |