| appearance as argument number 1 |
|
| (codeMapping ISO-639-1 "aa" AfarLanguage) | Languages.kif 14725-14725 | |
| (codeMapping ISO-639-1 "ab" AbkhazLanguage) | Languages.kif 14726-14726 | |
| (codeMapping ISO-639-1 "ae" AvestanLanguage) | Languages.kif 14789-14789 | |
| (codeMapping ISO-639-1 "af" AfrikaansLanguage) | Languages.kif 14697-14697 | |
| (codeMapping ISO-639-1 "ak" AkanLanguage) | Languages.kif 14727-14727 | |
| (codeMapping ISO-639-1 "am" AmharicLanguage) | Languages.kif 14785-14785 | |
| (codeMapping ISO-639-1 "an" AragoneseLanguage) | Languages.kif 14729-14729 | |
| (codeMapping ISO-639-1 "ar" ArabicLanguage) | Languages.kif 14786-14786 | |
| (codeMapping ISO-639-1 "as" AssameseLanguage) | Languages.kif 14787-14787 | |
| (codeMapping ISO-639-1 "av" AvarLanguage) | Languages.kif 14788-14788 | |
| (codeMapping ISO-639-1 "ay" AymaranLanguage) | Languages.kif 14731-14731 | |
| (codeMapping ISO-639-1 "az" AzerbaijaniLanguage) | Languages.kif 14790-14790 | |
| (codeMapping ISO-639-1 "ba" BashkirLanguage) | Languages.kif 14791-14791 | |
| (codeMapping ISO-639-1 "be" BelarusanLanguage) | Languages.kif 14733-14733 | |
| (codeMapping ISO-639-1 "bg" BulgarianLanguage) | Languages.kif 14736-14736 | |
| (codeMapping ISO-639-1 "bh" BihariLanguage) | Languages.kif 14794-14794 | |
| (codeMapping ISO-639-1 "bi" BislamaLanguage) | Languages.kif 14734-14734 | |
| (codeMapping ISO-639-1 "bm" BambaraLanguage) | Languages.kif 14792-14792 | |
| (codeMapping ISO-639-1 "bn" BengaliLanguage) | Languages.kif 14793-14793 | |
| (codeMapping ISO-639-1 "bo" TibetanLanguage) | Languages.kif 14795-14795 | |
| (codeMapping ISO-639-1 "br" BretonLanguage) | Languages.kif 14735-14735 | |
| (codeMapping ISO-639-1 "bs" BosnianLanguage) | Languages.kif 14796-14796 | |
| (codeMapping ISO-639-1 "ca" CatalanValencianBalearLanguage) | Languages.kif 14737-14737 | |
| (codeMapping ISO-639-1 "ce" ChechenLanguage) | Languages.kif 14799-14799 | |
| (codeMapping ISO-639-1 "ch" ChamorroLanguage) | Languages.kif 14798-14798 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (codeMapping ISO-639-1 ?TOKEN ?X) (instance ?TOKEN SymbolicString)) |
Languages.kif 14693-14695 | |
| (=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage))) |
Languages.kif 14683-14687 | |
| (=> (codeMapping ISO-639-1 ?TOKEN ?X) (stringLength 2 ?TOKEN)) |
Languages.kif 14689-14691 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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