Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AlphabeticString
AlphabeticString(alphabetic string)

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


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

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


(subclass AlphaIDString AlphabeticString) Media.kif 2916-2916 Alpha ID string is a subclass of alphabetic string
(subclass Alpha3String AlphabeticString) Media.kif 2918-2918 Alpha3 string is a subclass of alphabetic string
(subclass Alpha2String AlphabeticString) Media.kif 2933-2933 Alpha2 string is a subclass of alphabetic string
(termFormat EnglishLanguage AlphabeticString "alphabetic string") domainEnglishFormat.kif 64438-64438 Alpha2 string is a subclass of alphabetic string

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


(=>
    (and
        (instance ?STR AlphabeticString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR AlphabeticCharacter))		 Media.kif 2851-2856 If X is an instance of alphabetic string, Y is a part of X, and Y is an instance of character, then Y is an instance of alphabetic character
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))		 Media.kif 2924-2928 If X is an instance of alphabetic string and X is 3 characters long, then X is an instance of alpha3 string
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 2 ?STRING))
    (instance ?STRING Alpha2String))		 Media.kif 2939-2943 If X is an instance of alphabetic string and X is 2 characters long, then X is an instance of alpha2 string

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


(=>
    (codeMapping ISO_4217_A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))		 Media.kif 2233-2238 If X in ISO_4217_A denotes Y, then Y is an instance of unit of measure, X is 3 characters long, and X is an instance of alphabetic string
(=>
    (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2583-2588 If X in ISO_3166_1_alpha_2 denotes Y, then Y is an instance of geographic area, X is an instance of alphabetic string, and X is 2 characters long


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners