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


KB Term:  Term intersection
English Word: 

  AlphabeticString

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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