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 |