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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Alpha3String
Alpha3String(alpha3 string)

appearance as argument number 1

(subclass Alpha3String AlphabeticString) Media.kif 2971-2971 Alpha3 string is a subclass of alphabetic string

appearance as argument number 2

(subclass Alpha3IDString Alpha3String) Media.kif 2984-2984 Alpha3ID string is a subclass of alpha3 string
(termFormat EnglishLanguage Alpha3String "alpha3 string") domainEnglishFormat.kif 64431-64431


    (instance ?STRING Alpha3String)
    (stringLength 3 ?STRING))
Media.kif 2973-2975


        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))
Media.kif 2977-2981

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