AlphabeticCharacter - Sigma Knowledge base Browser

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 17273-17274
(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 17272-17272	Alphabetic character is a subclass of character

appearance as argument number 2

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

consequent

(=> (and (acronym ?STRING ?THING) (inString ?CHAR ?STRING)) (instance ?CHAR AlphabeticCharacter))	Media.kif 3011-3015	If a symbolic string is an acronym for an entity and a character is part of the symbolic string, then the character is an instance of alphabetic character
(=> (and (instance ?STR AlphabeticString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR AlphabeticCharacter))	Media.kif 2874-2879	If an object is an instance of AlphabeticString and another object is a part of the object and the other object is an instance of character, then the other object is an instance of alphabetic character
(=> (instance ?ANS AlphaNumericString) (exists (?A ?N) (and (instance ?A AlphabeticCharacter) (inString ?A ?ANS) (instance ?N DigitCharacter) (inString ?N ?ANS))))	Media.kif 2911-2918	If a symbolic string is an instance of AlphaNumericString, then there exist a character and another character such that the character is an instance of alphabetic character and the character is part of the symbolic string and the other character is an instance of digit character and the other character is part of the symbolic string

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