No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14763-14763 |
codeMapping ISO-639-1, "co" and CorsicanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14825-14825 |
codeMapping ISO-639-1, "cr" and CreeLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14760-14760 |
codeMapping ISO-639-1, "cs" and CzechLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14761-14761 |
codeMapping ISO-639-1, "cu" and OldChurchSlavonicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14824-14824 |
codeMapping ISO-639-1, "cv" and ChuvashLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14720-14720 |
codeMapping ISO-639-1, "cy" and WelshLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14721-14721 |
codeMapping ISO-639-1, "da" and DanishLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14722-14722 |
codeMapping ISO-639-1, "de" and GermanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14827-14827 |
codeMapping ISO-639-1, "dv" and DhivehiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14828-14828 |
codeMapping ISO-639-1, "dz" and DzongkhaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14830-14830 |
codeMapping ISO-639-1, "ee" and EweLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14764-14764 |
codeMapping ISO-639-1, "el" and GreekLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14724-14724 |
codeMapping ISO-639-1, "en" and EnglishLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14765-14765 |
codeMapping ISO-639-1, "eo" and EsperantoLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14799-14799 |
codeMapping ISO-639-1, "es" and SpanishLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14829-14829 |
codeMapping ISO-639-1, "et" and EstonianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14754-14754 |
codeMapping ISO-639-1, "eu" and BasqueLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14766-14766 |
codeMapping ISO-639-1, "fa" and EasternFarsiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14767-14767 |
codeMapping ISO-639-1, "fa" and WesternFarsiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14832-14832 |
codeMapping ISO-639-1, "ff" and FulaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14726-14726 |
codeMapping ISO-639-1, "fi" and FinnishLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14831-14831 |
codeMapping ISO-639-1, "fj" and FijianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14725-14725 |
codeMapping ISO-639-1, "fo" and FaroeseLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14727-14727 |
codeMapping ISO-639-1, "fr" and FrenchLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14768-14768 |
codeMapping ISO-639-1, "fy" and WesternFrisianLanguage |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |