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 |