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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AlphabeticString
AlphabeticString(alphabetic string)

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


(subclass AlphabeticString LinguisticExpression) Media.kif 2904-2904 Alphabetic string is a subclass of linguistic expression
(subclass AlphabeticString SymbolicString) Media.kif 2903-2903 Alphabetic string is a subclass of symbolic string

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


(subclass Alpha2String AlphabeticString) Media.kif 2988-2988 Alpha2 string is a subclass of alphabetic string
(subclass Alpha3String AlphabeticString) Media.kif 2973-2973 Alpha3 string is a subclass of alphabetic string
(subclass AlphaIDString AlphabeticString) Media.kif 2971-2971 Alpha ID string is a subclass of alphabetic string
(termFormat EnglishLanguage AlphabeticString "alphabetic string") domainEnglishFormat.kif 64429-64429 Alpha ID string is a subclass of alphabetic string

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


(=>
    (and
        (instance ?STR AlphabeticString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR AlphabeticCharacter))
Media.kif 2906-2911
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 2 ?STRING))
    (instance ?STRING Alpha2String))
Media.kif 2994-2998
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))
Media.kif 2979-2983

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


(=>
    (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))
Media.kif 2638-2643
(=>
    (codeMapping ISO_4217_A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))
Media.kif 2288-2293


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