| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14747-14747 |
codeMapping ISO-639-1, "aa" and AfarLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14748-14748 |
codeMapping ISO-639-1, "ab" and AbkhazLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14811-14811 |
codeMapping ISO-639-1, "ae" and AvestanLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14719-14719 |
codeMapping ISO-639-1, "af" and AfrikaansLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14749-14749 |
codeMapping ISO-639-1, "ak" and AkanLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14807-14807 |
codeMapping ISO-639-1, "am" and AmharicLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14751-14751 |
codeMapping ISO-639-1, "an" and AragoneseLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14808-14808 |
codeMapping ISO-639-1, "ar" and ArabicLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14809-14809 |
codeMapping ISO-639-1, "as" and AssameseLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14810-14810 |
codeMapping ISO-639-1, "av" and AvarLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14753-14753 |
codeMapping ISO-639-1, "ay" and AymaranLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14812-14812 |
codeMapping ISO-639-1, "az" and AzerbaijaniLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14813-14813 |
codeMapping ISO-639-1, "ba" and BashkirLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14755-14755 |
codeMapping ISO-639-1, "be" and BelarusanLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14758-14758 |
codeMapping ISO-639-1, "bg" and BulgarianLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14816-14816 |
codeMapping ISO-639-1, "bh" and BihariLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14756-14756 |
codeMapping ISO-639-1, "bi" and BislamaLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14814-14814 |
codeMapping ISO-639-1, "bm" and BambaraLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14815-14815 |
codeMapping ISO-639-1, "bn" and BengaliLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14817-14817 |
codeMapping ISO-639-1, "bo" and TibetanLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14757-14757 |
codeMapping ISO-639-1, "br" and BretonLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14818-14818 |
codeMapping ISO-639-1, "bs" and BosnianLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14759-14759 |
codeMapping ISO-639-1, "ca" and CatalanValencianBalearLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14821-14821 |
codeMapping ISO-639-1, "ce" and ChechenLanguage |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14820-14820 |
codeMapping ISO-639-1, "ch" and ChamorroLanguage |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
ISO-639-1