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 est une sous-classe de expression linguistique
(subclass AlphabeticString SymbolicString) Media.kif 2901-2901 AlphabeticString est une sous-classe de cha�ne sympbolique

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


(subclass Alpha2String AlphabeticString) Media.kif 2986-2986 Alpha2String est une sous-classe de AlphabeticString
(subclass Alpha3String AlphabeticString) Media.kif 2971-2971 Alpha3String est une sous-classe de AlphabeticString
(subclass AlphaIDString AlphabeticString) Media.kif 2969-2969 AlphaIDString est une sous-classe de AlphabeticString
(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