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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AlphabeticCharacter
AlphabeticCharacter
more pictures...

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


(documentation AlphabeticCharacter EnglishLanguage "Any Character that is comprised of a single alphabetical character, e.g. A, B, C, D, ...") Mid-level-ontology.kif 17339-17340
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 87/ ZographensisColour.jpg") pictureList.kif 8849-8849
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ e/ ec/ Ba%60alat.png") pictureList.kif 8851-8851
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ Caslon-schriftmusterblatt.jpeg") pictureList.kif 8332-8332
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 3/ 33/ Latin_B.png/ 435px-Latin_B.png") pictureList.kif 8854-8854
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 56/ Latin_C.png/ 407px-Latin_C.png") pictureList.kif 8855-8855
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 7d/ Latin_A.png/ 436px-Latin_A.png") pictureList.kif 8853-8853
(subclass AlphabeticCharacter Character) Mid-level-ontology.kif 17338-17338

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


(subclass Consonant AlphabeticCharacter) Mid-level-ontology.kif 17346-17346
(subclass Vowel AlphabeticCharacter) Mid-level-ontology.kif 17350-17350
(termFormat ChineseLanguage AlphabeticCharacter "字母字符") domainEnglishFormat.kif 6995-6995
(termFormat ChineseTraditionalLanguage AlphabeticCharacter "字母字符") domainEnglishFormat.kif 6994-6994
(termFormat EnglishLanguage AlphabeticCharacter "alphabetic character") domainEnglishFormat.kif 6993-6993

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


(=>
    (and
        (acronym ?STRING ?THING)
        (inString ?CHAR ?STRING))
    (instance ?CHAR AlphabeticCharacter))
Media.kif 3011-3015
(=>
    (and
        (instance ?STR AlphabeticString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR AlphabeticCharacter))
Media.kif 2874-2879
(=>
    (instance ?ANS AlphaNumericString)
    (exists (?A ?N)
        (and
            (instance ?A AlphabeticCharacter)
            (inString ?A ?ANS)
            (instance ?N DigitCharacter)
            (inString ?N ?ANS))))
Media.kif 2911-2918


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