|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14763-14763 | codeMapping ISO-639-1, "co" and CorsicanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14825-14825 | codeMapping ISO-639-1, "cr" and CreeLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14760-14760 | codeMapping ISO-639-1, "cs" and CzechLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14761-14761 | codeMapping ISO-639-1, "cu" and OldChurchSlavonicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14824-14824 | codeMapping ISO-639-1, "cv" and ChuvashLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14720-14720 | codeMapping ISO-639-1, "cy" and WelshLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14721-14721 | codeMapping ISO-639-1, "da" and DanishLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14722-14722 | codeMapping ISO-639-1, "de" and GermanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14827-14827 | codeMapping ISO-639-1, "dv" and DhivehiLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14828-14828 | codeMapping ISO-639-1, "dz" and DzongkhaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14830-14830 | codeMapping ISO-639-1, "ee" and EweLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14764-14764 | codeMapping ISO-639-1, "el" and GreekLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14724-14724 | codeMapping ISO-639-1, "en" and EnglishLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14765-14765 | codeMapping ISO-639-1, "eo" and EsperantoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14799-14799 | codeMapping ISO-639-1, "es" and SpanishLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14829-14829 | codeMapping ISO-639-1, "et" and EstonianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14754-14754 | codeMapping ISO-639-1, "eu" and BasqueLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14766-14766 | codeMapping ISO-639-1, "fa" and EasternFarsiLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14767-14767 | codeMapping ISO-639-1, "fa" and WesternFarsiLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14832-14832 | codeMapping ISO-639-1, "ff" and FulaLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14726-14726 | codeMapping ISO-639-1, "fi" and FinnishLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14831-14831 | codeMapping ISO-639-1, "fj" and FijianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14725-14725 | codeMapping ISO-639-1, "fo" and FaroeseLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14727-14727 | codeMapping ISO-639-1, "fr" and FrenchLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14768-14768 | codeMapping ISO-639-1, "fy" and WesternFrisianLanguage |
| 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