No TPTP formula. May not be expressible in strict first order. | Languages.kif 9746-9746 | OielLanguage est une sous-classe de GalloRhaetianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9752-9752 | FrenchGroupLanguage est une sous-classe de OielLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9937-9937 | SoutheasternOielLanguage est une sous-classe de OielLanguage |
![]() |