No TPTP formula. May not be expressible in strict first order. | Languages.kif 7941-7941 | UpperGermanLanguage e' uma sub-classe de GermanGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7947-7947 | AlemannicLanguage e' uma sub-classe de UpperGermanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8022-8022 | AllemannicLanguage e' uma sub-classe de UpperGermanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8059-8059 | BavarianAustrianLanguage e' uma sub-classe de UpperGermanLanguage |
![]() |