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 "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 65008-65008

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