ISO-639-1(ISO-639-1) |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14880-14880 | "om" in ISO-639-1 denotes Oromo language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14879-14879 | "or" in ISO-639-1 denotes Oriya language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14881-14881 | "os" in ISO-639-1 denotes Ossetic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14785-14785 | "pa" in ISO-639-1 denotes panjabi group language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14882-14882 | "pi" in ISO-639-1 denotes Pali language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14787-14787 | "pl" in ISO-639-1 denotes polish language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14789-14789 | "ps" in ISO-639-1 denotes pashto language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14788-14788 | "pt" in ISO-639-1 denotes portuguese language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14791-14791 | "qu" in ISO-639-1 denotes quechuan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14793-14793 | "rm" in ISO-639-1 denotes romansch language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14883-14883 | "rn" in ISO-639-1 denotes Kirundi language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14794-14794 | "ro" in ISO-639-1 denotes romanian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14795-14795 | "ru" in ISO-639-1 denotes russian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14855-14855 | "rw" in ISO-639-1 denotes Kinyarwanda language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14884-14884 | "sa" in ISO-639-1 denotes Sanskrit language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14800-14800 | "sc" in ISO-639-1 denotes sardinian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14890-14890 | "sd" in ISO-639-1 denotes Sindhi language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14887-14887 | "se" in ISO-639-1 denotes Northern Sami language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14796-14796 | "sg" in ISO-639-1 denotes sango language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14886-14886 | "si" in ISO-639-1 denotes Sinhalese language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14797-14797 | "sk" in ISO-639-1 denotes slovak language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14798-14798 | "sl" in ISO-639-1 denotes slovenian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14888-14888 | "sm" in ISO-639-1 denotes Samoan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14889-14889 | "sn" in ISO-639-1 denotes Shona language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14891-14891 | "so" in ISO-639-1 denotes Somali language |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |