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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlphabeticString

Sigma KEE - AlphabeticString
AlphabeticString

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


(subclass AlphabeticString LinguisticExpression) Media.kif 2890-2890 AlphabeticString is a subclass of linguistic expression
(subclass AlphabeticString SymbolicString) Media.kif 2889-2889 AlphabeticString is a subclass of symbolic string

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


(subclass Alpha2String AlphabeticString) Media.kif 2974-2974 Alpha2String is a subclass of AlphabeticString
(subclass Alpha3String AlphabeticString) Media.kif 2959-2959 Alpha3String is a subclass of AlphabeticString
(subclass AlphaIDString AlphabeticString) Media.kif 2957-2957 AlphaIDString is a subclass of AlphabeticString

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


(=>
    (and
        (instance ?STR AlphabeticString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR AlphabeticCharacter))
Media.kif 2892-2897
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 2 ?STRING))
    (instance ?STRING Alpha2String))
Media.kif 2980-2984
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))
Media.kif 2965-2969

consequent
-------------------------


(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))
Media.kif 2624-2629
(=>
    (codeMapping ISO-4217-A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))
Media.kif 2277-2282


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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