|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14778-14778 | "ja" 在 ISO-639-1 denotes 日语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14847-14847 | "jv" 在 ISO-639-1 denotes JavaneseLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14769-14769 | "ka" 在 ISO-639-1 denotes 格鲁吉亚语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14858-14858 | "kg" 在 ISO-639-1 denotes KongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14854-14854 | "ki" 在 ISO-639-1 denotes GikuyuLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14859-14859 | "kj" 在 ISO-639-1 denotes KwanyamaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14852-14852 | "kk" 在 ISO-639-1 denotes KazakhLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14848-14848 | "kl" 在 ISO-639-1 denotes KalaallisutLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14853-14853 | "km" 在 ISO-639-1 denotes KhmerLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14849-14849 | "kn" 在 ISO-639-1 denotes KannadaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14779-14779 | "ko" 在 ISO-639-1 denotes 朝鲜语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14851-14851 | "kr" 在 ISO-639-1 denotes KanuriLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14850-14850 | "ks" 在 ISO-639-1 denotes KashmiriLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14860-14860 | "ku" 在 ISO-639-1 denotes KurdishLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14857-14857 | "kv" 在 ISO-639-1 denotes KomiLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14762-14762 | "kw" 在 ISO-639-1 denotes 康沃尔语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14856-14856 | "ky" 在 ISO-639-1 denotes KyrgyzLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14780-14780 | "la" 在 ISO-639-1 denotes 拉丁语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14731-14731 | "lb" 在 ISO-639-1 denotes 卢森堡语言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14865-14865 | "lg" 在 ISO-639-1 denotes LugandaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14862-14862 | "li" 在 ISO-639-1 denotes LimburgishLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14863-14863 | "ln" 在 ISO-639-1 denotes LingalaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14861-14861 | "lo" 在 ISO-639-1 denotes LaoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14782-14782 | "lt" 在 ISO-639-1 denotes 立陶宛语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14864-14864 | "lu" 在 ISO-639-1 denotes 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