ISO-639-1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14729-14729 | codeMapping ISO-639-1, "ga" and IrishGaelicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14728-14728 | codeMapping ISO-639-1, "gd" and ScotsGaelicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14771-14771 | codeMapping ISO-639-1, "gl" and GalicianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14833-14833 | codeMapping ISO-639-1, "gn" and GuaraniLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14772-14772 | codeMapping ISO-639-1, "gu" and GujaratiGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14770-14770 | codeMapping ISO-639-1, "gv" and ManxLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14834-14834 | codeMapping ISO-639-1, "ha" and HausaLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14835-14835 | codeMapping ISO-639-1, "he" and HebrewLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14837-14837 | codeMapping ISO-639-1, "hi" and HindiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14775-14775 | codeMapping ISO-639-1, "ho" and HiriMotuLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14838-14838 | codeMapping ISO-639-1, "hr" and CroatianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14774-14774 | codeMapping ISO-639-1, "ht" and HaitianCreoleFrenchLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14839-14839 | codeMapping ISO-639-1, "hu" and HungarianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14752-14752 | codeMapping ISO-639-1, "hy" and ArmenianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14836-14836 | codeMapping ISO-639-1, "hz" and HereroLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14776-14776 | codeMapping ISO-639-1, "ia" and InterlinguaLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14845-14845 | codeMapping ISO-639-1, "id" and IndonesianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14844-14844 | codeMapping ISO-639-1, "ie" and InterlingueLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14840-14840 | codeMapping ISO-639-1, "ig" and IgboLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14842-14842 | codeMapping ISO-639-1, "ii" and SichuanYiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14846-14846 | codeMapping ISO-639-1, "ik" and InupiaqLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14841-14841 | codeMapping ISO-639-1, "io" and IdoLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14730-14730 | codeMapping ISO-639-1, "is" and IcelandicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14777-14777 | codeMapping ISO-639-1, "it" and ItalianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14843-14843 | codeMapping ISO-639-1, "iu" and InuktitutLanguage |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |