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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Alpha2IDString
Alpha2IDString

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


(subclass Alpha2IDString Alpha2String) Media.kif 2999-2999
(subclass Alpha2IDString AlphaIDString) Media.kif 2998-2998

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Alpha2IDString "alpha2ID string") domainEnglishFormat.kif 64430-64430


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