ISO-639-1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14729-14729 | "ga" 在 ISO-639-1 denotes 爱尔兰盖尔语 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14728-14728 | "gd" 在 ISO-639-1 denotes 苏格兰语盖尔语 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14771-14771 | "gl" 在 ISO-639-1 denotes 加利西亚语 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14833-14833 | "gn" 在 ISO-639-1 denotes GuaraniLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14772-14772 | "gu" 在 ISO-639-1 denotes 古吉拉特团体语言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14770-14770 | "gv" 在 ISO-639-1 denotes manx语言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14834-14834 | "ha" 在 ISO-639-1 denotes HausaLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14835-14835 | "he" 在 ISO-639-1 denotes HebrewLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14837-14837 | "hi" 在 ISO-639-1 denotes HindiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14775-14775 | "ho" 在 ISO-639-1 denotes hiri motu 语言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14838-14838 | "hr" 在 ISO-639-1 denotes CroatianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14774-14774 | "ht" 在 ISO-639-1 denotes 海地克里奥尔语法语 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14839-14839 | "hu" 在 ISO-639-1 denotes HungarianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14752-14752 | "hy" 在 ISO-639-1 denotes 亚美尼亚语言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14836-14836 | "hz" 在 ISO-639-1 denotes HereroLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14776-14776 | "ia" 在 ISO-639-1 denotes 国际语言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14845-14845 | "id" 在 ISO-639-1 denotes IndonesianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14844-14844 | "ie" 在 ISO-639-1 denotes InterlingueLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14840-14840 | "ig" 在 ISO-639-1 denotes IgboLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14842-14842 | "ii" 在 ISO-639-1 denotes SichuanYiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14846-14846 | "ik" 在 ISO-639-1 denotes InupiaqLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14841-14841 | "io" 在 ISO-639-1 denotes IdoLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14730-14730 | "is" 在 ISO-639-1 denotes IcelandicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14777-14777 | "it" 在 ISO-639-1 denotes 意大利语 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14843-14843 | "iu" 在 ISO-639-1 denotes InuktitutLanguage |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |