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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AlphabeticString
AlphabeticString

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


(subclass AlphabeticString LinguisticExpression) Media.kif 2904-2904 AlphabeticString言語表現subclass では
(subclass AlphabeticString SymbolicString) Media.kif 2903-2903 AlphabeticString記号文字列subclass では

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


(subclass Alpha2String AlphabeticString) Media.kif 2988-2988 Alpha2StringAlphabeticStringsubclass では
(subclass Alpha3String AlphabeticString) Media.kif 2973-2973 Alpha3StringAlphabeticStringsubclass では
(subclass AlphaIDString AlphabeticString) Media.kif 2971-2971 AlphaIDStringAlphabeticStringsubclass では
(termFormat EnglishLanguage AlphabeticString "alphabetic string") domainEnglishFormat.kif 64429-64429 AlphaIDStringAlphabeticStringsubclass では

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