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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AlphabeticCharacter
AlphabeticCharacter(alphabetic character)
more pictures...
A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, a, alphabetic_character, ascender, b, c, d, descender, double-u, e, ex, f, g, h, i, j, k, l, letter, letter_of_the_alphabet, m, n, o, p, q, r...

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 21055-21056
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 87/ ZographensisColour.jpg") pictureList.kif 8843-8843
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ e/ ec/ Ba%60alat.png") pictureList.kif 8845-8845
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ Caslon_schriftmusterblatt.jpeg") pictureList.kif 8329-8329
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 3/ 33/ Latin_B.png/ 435px_Latin_B.png") pictureList.kif 8848-8848
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 56/ Latin_C.png/ 407px_Latin_C.png") pictureList.kif 8849-8849
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 7d/ Latin_A.png/ 436px_Latin_A.png") pictureList.kif 8847-8847
(subclass AlphabeticCharacter Character) Mid-level-ontology.kif 21054-21054 Alphabetic character is a subclass of character

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


(subclass Consonant AlphabeticCharacter) Mid-level-ontology.kif 21062-21062 Consonant is a subclass of alphabetic character
(subclass Vowel AlphabeticCharacter) Mid-level-ontology.kif 21066-21066 Vowel is a subclass of alphabetic character
(termFormat ChineseLanguage AlphabeticCharacter "字母字符") domainEnglishFormat.kif 6991-6991 Vowel is a subclass of alphabetic character
(termFormat ChineseTraditionalLanguage AlphabeticCharacter "字母字符") domainEnglishFormat.kif 6990-6990 Vowel is a subclass of alphabetic character
(termFormat EnglishLanguage AlphabeticCharacter "alphabetic character") domainEnglishFormat.kif 6989-6989 Vowel is a subclass of alphabetic character

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


(=>
    (and
        (acronym ?STRING ?THING)
        (inString ?CHAR ?STRING))
    (instance ?CHAR AlphabeticCharacter))
Mid-level-ontology.kif 28911-28915
(=>
    (and
        (instance ?STR AlphabeticString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR AlphabeticCharacter))
Media.kif 2906-2911
(=>
    (instance ?ANS AlphaNumericString)
    (exists (?A ?N)
        (and
            (instance ?A AlphabeticCharacter)
            (inString ?A ?ANS)
            (instance ?N DigitCharacter)
            (inString ?N ?ANS))))
Media.kif 2943-2950


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