ISO-639-1(ISO-639-1) |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14729-14729 | "ga" in ISO-639-1 denotes irish gaelic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14728-14728 | "gd" in ISO-639-1 denotes scots gaelic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14771-14771 | "gl" in ISO-639-1 denotes galician language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14833-14833 | "gn" in ISO-639-1 denotes Guarani language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14772-14772 | "gu" in ISO-639-1 denotes gujarati group language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14770-14770 | "gv" in ISO-639-1 denotes manx language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14834-14834 | "ha" in ISO-639-1 denotes Hausa language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14835-14835 | "he" in ISO-639-1 denotes Hebrew language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14837-14837 | "hi" in ISO-639-1 denotes Hindi language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14775-14775 | "ho" in ISO-639-1 denotes hiri motu language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14838-14838 | "hr" in ISO-639-1 denotes Croatian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14774-14774 | "ht" in ISO-639-1 denotes haitian creole french language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14839-14839 | "hu" in ISO-639-1 denotes Hungarian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14752-14752 | "hy" in ISO-639-1 denotes armenian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14836-14836 | "hz" in ISO-639-1 denotes Herero language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14776-14776 | "ia" in ISO-639-1 denotes interlingua language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14845-14845 | "id" in ISO-639-1 denotes Indonesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14844-14844 | "ie" in ISO-639-1 denotes Interlingue language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14840-14840 | "ig" in ISO-639-1 denotes Igbo language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14842-14842 | "ii" in ISO-639-1 denotes Sichuan yi language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14846-14846 | "ik" in ISO-639-1 denotes Inupiaq language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14841-14841 | "io" in ISO-639-1 denotes Ido language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14730-14730 | "is" in ISO-639-1 denotes Icelandic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14777-14777 | "it" in ISO-639-1 denotes italian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14843-14843 | "iu" in ISO-639-1 denotes Inuktitut language |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |