Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ISO-639-1
ISO-639-1

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14747-14747 codeMapping ISO-639-1, "aa" and AfarLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14748-14748 codeMapping ISO-639-1, "ab" and AbkhazLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14811-14811 codeMapping ISO-639-1, "ae" and AvestanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14719-14719 codeMapping ISO-639-1, "af" and AfrikaansLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14749-14749 codeMapping ISO-639-1, "ak" and AkanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14807-14807 codeMapping ISO-639-1, "am" and AmharicLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14751-14751 codeMapping ISO-639-1, "an" and AragoneseLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14808-14808 codeMapping ISO-639-1, "ar" and ArabicLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14809-14809 codeMapping ISO-639-1, "as" and AssameseLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14810-14810 codeMapping ISO-639-1, "av" and AvarLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14753-14753 codeMapping ISO-639-1, "ay" and AymaranLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14812-14812 codeMapping ISO-639-1, "az" and AzerbaijaniLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14813-14813 codeMapping ISO-639-1, "ba" and BashkirLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14755-14755 codeMapping ISO-639-1, "be" and BelarusanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14758-14758 codeMapping ISO-639-1, "bg" and BulgarianLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14816-14816 codeMapping ISO-639-1, "bh" and BihariLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14756-14756 codeMapping ISO-639-1, "bi" and BislamaLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14814-14814 codeMapping ISO-639-1, "bm" and BambaraLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14815-14815 codeMapping ISO-639-1, "bn" and BengaliLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14817-14817 codeMapping ISO-639-1, "bo" and TibetanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14757-14757 codeMapping ISO-639-1, "br" and BretonLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14818-14818 codeMapping ISO-639-1, "bs" and BosnianLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14759-14759 codeMapping ISO-639-1, "ca" and CatalanValencianBalearLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14821-14821 codeMapping ISO-639-1, "ce" and ChechenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14820-14820 codeMapping ISO-639-1, "ch" and 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 65010-65010

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