| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14747-14747 | "aa" in ISO_639_1 denotes Afar language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14748-14748 | "ab" in ISO_639_1 denotes Abkhaz language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14811-14811 | "ae" in ISO_639_1 denotes Avestan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14719-14719 | "af" in ISO_639_1 denotes afrikaans language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14749-14749 | "ak" in ISO_639_1 denotes Akan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14807-14807 | "am" in ISO_639_1 denotes Amharic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14751-14751 | "an" in ISO_639_1 denotes aragonese language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14808-14808 | "ar" in ISO_639_1 denotes Arabic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14809-14809 | "as" in ISO_639_1 denotes Assamese language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14810-14810 | "av" in ISO_639_1 denotes Avar language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14753-14753 | "ay" in ISO_639_1 denotes aymaran language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14812-14812 | "az" in ISO_639_1 denotes Azerbaijani language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14813-14813 | "ba" in ISO_639_1 denotes Bashkir language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14755-14755 | "be" in ISO_639_1 denotes belarusan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14758-14758 | "bg" in ISO_639_1 denotes bulgarian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14816-14816 | "bh" in ISO_639_1 denotes Bihari language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14756-14756 | "bi" in ISO_639_1 denotes bislama language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14814-14814 | "bm" in ISO_639_1 denotes Bambara language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14815-14815 | "bn" in ISO_639_1 denotes Bengali language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14817-14817 | "bo" in ISO_639_1 denotes Tibetan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14757-14757 | "br" in ISO_639_1 denotes breton language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14818-14818 | "bs" in ISO_639_1 denotes Bosnian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14759-14759 | "ca" in ISO_639_1 denotes catalan valencian balear language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14821-14821 | "ce" in ISO_639_1 denotes Chechen language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14820-14820 | "ch" in ISO_639_1 denotes Chamorro language |
| 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