|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14750-14750 | "sq" in ISO-639-1 denotes albanian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14885-14885 | "sr" in ISO-639-1 denotes Serbian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14740-14740 | "ss" in ISO-639-1 denotes Swati language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14739-14739 | "st" in ISO-639-1 denotes Southern Sotho language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14892-14892 | "su" in ISO-639-1 denotes Sundanese language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14741-14741 | "sv" in ISO-639-1 denotes swedish language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14893-14893 | "sw" in ISO-639-1 denotes Swahili language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14895-14895 | "ta" in ISO-639-1 denotes Tamil language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14897-14897 | "te" in ISO-639-1 denotes Telugu language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14802-14802 | "tg" in ISO-639-1 denotes tajiki language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14899-14899 | "th" in ISO-639-1 denotes Thai language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14900-14900 | "ti" in ISO-639-1 denotes Tigrinya language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14803-14803 | "tk" in ISO-639-1 denotes turkmen language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14898-14898 | "tl" in ISO-639-1 denotes Tagalog language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14742-14742 | "tn" in ISO-639-1 denotes Tswana language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14901-14901 | "to" in ISO-639-1 denotes Tongan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14902-14902 | "tr" in ISO-639-1 denotes Turkish language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14743-14743 | "ts" in ISO-639-1 denotes Tsonga language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14896-14896 | "tt" in ISO-639-1 denotes Tatar language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14903-14903 | "tw" in ISO-639-1 denotes Twi language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14894-14894 | "ty" in ISO-639-1 denotes Tahitian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14804-14804 | "ug" in ISO-639-1 denotes uyghur language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14805-14805 | "uk" in ISO-639-1 denotes ukrainian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14904-14904 | "ur" in ISO-639-1 denotes Urdu language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14905-14905 | "uz" in ISO-639-1 denotes northern uzbek 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