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 14725-14725 "aa" in ISO-639-1 denotes AfarLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14726-14726 "ab" in ISO-639-1 denotes AbkhazLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14789-14789 "ae" in ISO-639-1 denotes AvestanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14697-14697 "af" in ISO-639-1 denotes afrikaans language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14727-14727 "ak" in ISO-639-1 denotes AkanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14785-14785 "am" in ISO-639-1 denotes AmharicLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14729-14729 "an" in ISO-639-1 denotes aragonese language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14786-14786 "ar" in ISO-639-1 denotes ArabicLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14787-14787 "as" in ISO-639-1 denotes AssameseLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14788-14788 "av" in ISO-639-1 denotes AvarLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14731-14731 "ay" in ISO-639-1 denotes aymaran language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14790-14790 "az" in ISO-639-1 denotes AzerbaijaniLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14791-14791 "ba" in ISO-639-1 denotes BashkirLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14733-14733 "be" in ISO-639-1 denotes belarusan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14736-14736 "bg" in ISO-639-1 denotes bulgarian language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14794-14794 "bh" in ISO-639-1 denotes BihariLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14734-14734 "bi" in ISO-639-1 denotes bislama language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14792-14792 "bm" in ISO-639-1 denotes BambaraLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14793-14793 "bn" in ISO-639-1 denotes BengaliLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14795-14795 "bo" in ISO-639-1 denotes TibetanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14735-14735 "br" in ISO-639-1 denotes breton language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14796-14796 "bs" in ISO-639-1 denotes BosnianLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14737-14737 "ca" in ISO-639-1 denotes catalan valencian balear language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14799-14799 "ce" in ISO-639-1 denotes ChechenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14798-14798 "ch" in ISO-639-1 denotes ChamorroLanguage

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14693-14695
No TPTP formula. May not be expressible in strict first order. Languages.kif 14683-14687
No TPTP formula. May not be expressible in strict first order. 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners