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 2902-2902 AlphabeticString言語表現subclass では %n
(subclass AlphabeticString SymbolicString) Media.kif 2901-2901 AlphabeticString記号文字列subclass では %n

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


(subclass Alpha2String AlphabeticString) Media.kif 2986-2986 Alpha2StringAlphabeticStringsubclass では %n
(subclass Alpha3String AlphabeticString) Media.kif 2971-2971 Alpha3StringAlphabeticStringsubclass では %n
(subclass AlphaIDString AlphabeticString) Media.kif 2969-2969 AlphaIDStringAlphabeticStringsubclass では %n
(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 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