Alpha2String - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Alpha2String

Alpha2String(alpha2 string)

appearance as argument number 1

(subclass Alpha2String AlphabeticString)

Media.kif 2986-2986

Alpha2 string is a subclass of alphabetic string

appearance as argument number 2

(subclass Alpha2IDString Alpha2String)	Media.kif 2999-2999	Alpha2ID string is a subclass of alpha2 string
(termFormat EnglishLanguage Alpha2String "alpha2 string")	domainEnglishFormat.kif 64429-64429

antecedent

(=>
(instance ?STRING Alpha2String)
(stringLength 2 ?STRING))

Media.kif 2988-2990

If a symbolic string is an instance of alpha2 string,
then the symbolic string is 2 characters long

consequent

(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 2 ?STRING))
    (instance ?STRING Alpha2String))

Media.kif 2992-2996

If a symbolic string is an instance of alphabetic string and the symbolic string is 2 characters long,
then the symbolic string is an instance of alpha2 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 is open source software produced by Articulate Software and its partners