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