No TPTP formula. May not be expressible in strict first order. | Languages.kif 12464-12464 | NiloSaharanLanguage est une sous-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12471-12471 | EasternSudanicLanguage est une sous-classe de NiloSaharanLanguage |