| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14747-14747 | "aa" 在 ISO_639_1 denotes AfarLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14748-14748 | "ab" 在 ISO_639_1 denotes AbkhazLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14811-14811 | "ae" 在 ISO_639_1 denotes AvestanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14719-14719 | "af" 在 ISO_639_1 denotes 南非荷蘭語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14749-14749 | "ak" 在 ISO_639_1 denotes AkanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14807-14807 | "am" 在 ISO_639_1 denotes AmharicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14751-14751 | "an" 在 ISO_639_1 denotes 阿拉貢語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14808-14808 | "ar" 在 ISO_639_1 denotes ArabicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14809-14809 | "as" 在 ISO_639_1 denotes AssameseLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14810-14810 | "av" 在 ISO_639_1 denotes AvarLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14753-14753 | "ay" 在 ISO_639_1 denotes aymaran語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14812-14812 | "az" 在 ISO_639_1 denotes AzerbaijaniLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14813-14813 | "ba" 在 ISO_639_1 denotes BashkirLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14755-14755 | "be" 在 ISO_639_1 denotes 白俄羅斯語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14758-14758 | "bg" 在 ISO_639_1 denotes 保加利亞語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14816-14816 | "bh" 在 ISO_639_1 denotes BihariLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14756-14756 | "bi" 在 ISO_639_1 denotes bislama語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14814-14814 | "bm" 在 ISO_639_1 denotes BambaraLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14815-14815 | "bn" 在 ISO_639_1 denotes BengaliLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14817-14817 | "bo" 在 ISO_639_1 denotes TibetanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14757-14757 | "br" 在 ISO_639_1 denotes 布列塔尼語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14818-14818 | "bs" 在 ISO_639_1 denotes BosnianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14759-14759 | "ca" 在 ISO_639_1 denotes catalan valencian balear 語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14821-14821 | "ce" 在 ISO_639_1 denotes ChechenLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14820-14820 | "ch" 在 ISO_639_1 denotes ChamorroLanguage |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65031-65031 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14715-14717 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14705-14709 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14711-14713 |
|
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