ISO-639-1

-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14741-14741 "co" in ISO-639-1 denotes corsican language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14803-14803 "cr" in ISO-639-1 denotes CreeLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14738-14738 "cs" in ISO-639-1 denotes czech language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14739-14739 "cu" in ISO-639-1 denotes old church slavonic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14802-14802 "cv" in ISO-639-1 denotes ChuvashLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14698-14698 "cy" in ISO-639-1 denotes welsh language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14699-14699 "da" in ISO-639-1 denotes danish language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14700-14700 "de" in ISO-639-1 denotes german language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14805-14805 "dv" in ISO-639-1 denotes DhivehiLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14806-14806 "dz" in ISO-639-1 denotes DzongkhaLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14808-14808 "ee" in ISO-639-1 denotes EweLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14742-14742 "el" in ISO-639-1 denotes greek language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14702-14702 "en" in ISO-639-1 denotes english language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14743-14743 "eo" in ISO-639-1 denotes esperanto language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14777-14777 "es" in ISO-639-1 denotes spanish language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14807-14807 "et" in ISO-639-1 denotes EstonianLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14732-14732 "eu" in ISO-639-1 denotes basque language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14744-14744 "fa" in ISO-639-1 denotes eastern farsi language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14745-14745 "fa" in ISO-639-1 denotes western farsi language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14810-14810 "ff" in ISO-639-1 denotes FulaLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14704-14704 "fi" in ISO-639-1 denotes FinnishLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14809-14809 "fj" in ISO-639-1 denotes FijianLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14703-14703 "fo" in ISO-639-1 denotes FaroeseLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14705-14705 "fr" in ISO-639-1 denotes french language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14746-14746 "fy" in ISO-639-1 denotes western frisian 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