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 20556-20557
(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 20555-20555	Alphabetic character is a subclass of character

appearance as argument number 2

(subclass Consonant AlphabeticCharacter)	Mid-level-ontology.kif 20563-20563	Consonant is a subclass of alphabetic character
(subclass Vowel AlphabeticCharacter)	Mid-level-ontology.kif 20567-20567	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 28348-28352	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 2904-2909	If an object is an instance of alphabetic string 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 2941-2948	If a symbolic string is an instance of alpha numeric string, 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