Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AlphaIDString
AlphaIDString(alpha ID string)

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


(subclass AlphaIDString FormalIdentifier) Media.kif 2915-2915 Alpha ID string is a subclass of formal identifier
(subclass AlphaIDString AlphabeticString) Media.kif 2916-2916 Alpha ID string is a subclass of alphabetic string

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


(subclass Alpha3IDString AlphaIDString) Media.kif 2930-2930 Alpha3ID string is a subclass of alpha ID string
(subclass Alpha2IDString AlphaIDString) Media.kif 2945-2945 Alpha2ID string is a subclass of alpha ID string
(termFormat EnglishLanguage AlphaIDString "alpha ID string") domainEnglishFormat.kif 64435-64435 Alpha2ID string is a subclass of alpha ID string


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners