No TPTP formula. May not be expressible in strict first order. | Languages.kif 4614-4614 | EasternBerberLanguage est une sous-classe de BerberLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4620-4620 | AwjilaSoknaLanguage est une sous-classe de EasternBerberLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4642-4642 | SiwaGroupLanguage est une sous-classe de EasternBerberLanguage |