ISO-639-1(ISO-639-1) |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14763-14763 | "co" in ISO-639-1 denotes corsican language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14825-14825 | "cr" in ISO-639-1 denotes Cree language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14760-14760 | "cs" in ISO-639-1 denotes czech language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14761-14761 | "cu" in ISO-639-1 denotes old church slavonic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14824-14824 | "cv" in ISO-639-1 denotes Chuvash language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14720-14720 | "cy" in ISO-639-1 denotes welsh language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14721-14721 | "da" in ISO-639-1 denotes danish language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14722-14722 | "de" in ISO-639-1 denotes german language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14827-14827 | "dv" in ISO-639-1 denotes Dhivehi language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14828-14828 | "dz" in ISO-639-1 denotes Dzongkha language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14830-14830 | "ee" in ISO-639-1 denotes Ewe language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14764-14764 | "el" in ISO-639-1 denotes greek language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14724-14724 | "en" in ISO-639-1 denotes english language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14765-14765 | "eo" in ISO-639-1 denotes esperanto language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14799-14799 | "es" in ISO-639-1 denotes spanish language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14829-14829 | "et" in ISO-639-1 denotes Estonian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14754-14754 | "eu" in ISO-639-1 denotes basque language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14766-14766 | "fa" in ISO-639-1 denotes eastern farsi language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14767-14767 | "fa" in ISO-639-1 denotes western farsi language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14832-14832 | "ff" in ISO-639-1 denotes Fula language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14726-14726 | "fi" in ISO-639-1 denotes Finnish language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14831-14831 | "fj" in ISO-639-1 denotes Fijian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14725-14725 | "fo" in ISO-639-1 denotes Faroese language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14727-14727 | "fr" in ISO-639-1 denotes french language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14768-14768 | "fy" in ISO-639-1 denotes western frisian language |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |