|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14778-14778 | "ja" in ISO-639-1 denotes japanese language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14847-14847 | "jv" in ISO-639-1 denotes Javanese language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14769-14769 | "ka" in ISO-639-1 denotes georgian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14858-14858 | "kg" in ISO-639-1 denotes Kongo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14854-14854 | "ki" in ISO-639-1 denotes Gikuyu language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14859-14859 | "kj" in ISO-639-1 denotes Kwanyama language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14852-14852 | "kk" in ISO-639-1 denotes Kazakh language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14848-14848 | "kl" in ISO-639-1 denotes Kalaallisut language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14853-14853 | "km" in ISO-639-1 denotes Khmer language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14849-14849 | "kn" in ISO-639-1 denotes Kannada language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14779-14779 | "ko" in ISO-639-1 denotes korean language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14851-14851 | "kr" in ISO-639-1 denotes Kanuri language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14850-14850 | "ks" in ISO-639-1 denotes Kashmiri language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14860-14860 | "ku" in ISO-639-1 denotes Kurdish language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14857-14857 | "kv" in ISO-639-1 denotes Komi language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14762-14762 | "kw" in ISO-639-1 denotes cornish language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14856-14856 | "ky" in ISO-639-1 denotes Kyrgyz language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14780-14780 | "la" in ISO-639-1 denotes latin language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14731-14731 | "lb" in ISO-639-1 denotes luxembourgeois language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14865-14865 | "lg" in ISO-639-1 denotes Luganda language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14862-14862 | "li" in ISO-639-1 denotes Limburgish language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14863-14863 | "ln" in ISO-639-1 denotes Lingala language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14861-14861 | "lo" in ISO-639-1 denotes Lao language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14782-14782 | "lt" in ISO-639-1 denotes lithuanian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14864-14864 | "lu" in ISO-639-1 denotes Luba katanga language |
| 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