|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14778-14778 | codeMapping ISO-639-1, "ja" and JapaneseLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14847-14847 | codeMapping ISO-639-1, "jv" and JavaneseLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14769-14769 | codeMapping ISO-639-1, "ka" and GeorgianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14858-14858 | codeMapping ISO-639-1, "kg" and KongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14854-14854 | codeMapping ISO-639-1, "ki" and GikuyuLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14859-14859 | codeMapping ISO-639-1, "kj" and KwanyamaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14852-14852 | codeMapping ISO-639-1, "kk" and KazakhLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14848-14848 | codeMapping ISO-639-1, "kl" and KalaallisutLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14853-14853 | codeMapping ISO-639-1, "km" and KhmerLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14849-14849 | codeMapping ISO-639-1, "kn" and KannadaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14779-14779 | codeMapping ISO-639-1, "ko" and KoreanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14851-14851 | codeMapping ISO-639-1, "kr" and KanuriLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14850-14850 | codeMapping ISO-639-1, "ks" and KashmiriLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14860-14860 | codeMapping ISO-639-1, "ku" and KurdishLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14857-14857 | codeMapping ISO-639-1, "kv" and KomiLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14762-14762 | codeMapping ISO-639-1, "kw" and CornishLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14856-14856 | codeMapping ISO-639-1, "ky" and KyrgyzLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14780-14780 | codeMapping ISO-639-1, "la" and LatinLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14731-14731 | codeMapping ISO-639-1, "lb" and LuxembourgeoisLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14865-14865 | codeMapping ISO-639-1, "lg" and LugandaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14862-14862 | codeMapping ISO-639-1, "li" and LimburgishLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14863-14863 | codeMapping ISO-639-1, "ln" and LingalaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14861-14861 | codeMapping ISO-639-1, "lo" and LaoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14782-14782 | codeMapping ISO-639-1, "lt" and LithuanianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14864-14864 | codeMapping ISO-639-1, "lu" and LubaKatangaLanguage |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners