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 2902-2902
(subclass AlphabeticString SymbolicString) Media.kif 2901-2901

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


(subclass Alpha2String AlphabeticString) Media.kif 2986-2986
(subclass Alpha3String AlphabeticString) Media.kif 2971-2971
(subclass AlphaIDString AlphabeticString) Media.kif 2969-2969
(termFormat EnglishLanguage AlphabeticString "alphabetic string") domainEnglishFormat.kif 64435-64435

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


(=>
    (and
        (instance ?STR AlphabeticString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR AlphabeticCharacter))
Media.kif 2904-2909
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 2 ?STRING))
    (instance ?STRING Alpha2String))
Media.kif 2992-2996
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))
Media.kif 2977-2981

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


(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))
Media.kif 2636-2641
(=>
    (codeMapping ISO-4217-A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))
Media.kif 2286-2291


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