|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14763-14763 | "co" 在 ISO-639-1 denotes 科西嘉语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14825-14825 | "cr" 在 ISO-639-1 denotes CreeLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14760-14760 | "cs" 在 ISO-639-1 denotes 捷克语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14761-14761 | "cu" 在 ISO-639-1 denotes 老教堂斯拉夫语言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14824-14824 | "cv" 在 ISO-639-1 denotes ChuvashLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14720-14720 | "cy" 在 ISO-639-1 denotes 威尔士语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14721-14721 | "da" 在 ISO-639-1 denotes 丹麦语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14722-14722 | "de" 在 ISO-639-1 denotes 德国的语言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14827-14827 | "dv" 在 ISO-639-1 denotes DhivehiLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14828-14828 | "dz" 在 ISO-639-1 denotes DzongkhaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14830-14830 | "ee" 在 ISO-639-1 denotes EweLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14764-14764 | "el" 在 ISO-639-1 denotes 希腊语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14724-14724 | "en" 在 ISO-639-1 denotes 英语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14765-14765 | "eo" 在 ISO-639-1 denotes 世界语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14799-14799 | "es" 在 ISO-639-1 denotes 西班牙语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14829-14829 | "et" 在 ISO-639-1 denotes EstonianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14754-14754 | "eu" 在 ISO-639-1 denotes 巴斯克语言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14766-14766 | "fa" 在 ISO-639-1 denotes 东部波斯语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14767-14767 | "fa" 在 ISO-639-1 denotes 西方波斯语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14832-14832 | "ff" 在 ISO-639-1 denotes FulaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14726-14726 | "fi" 在 ISO-639-1 denotes FinnishLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14831-14831 | "fj" 在 ISO-639-1 denotes FijianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14725-14725 | "fo" 在 ISO-639-1 denotes FaroeseLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14727-14727 | "fr" 在 ISO-639-1 denotes 法语 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14768-14768 | "fy" 在 ISO-639-1 denotes 西弗里西亚语 |
| 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