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 19466-19467
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 87/ ZographensisColour.jpg") pictureList.kif 8844-8844
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ e/ ec/ Ba%60alat.png") pictureList.kif 8846-8846
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ Caslon-schriftmusterblatt.jpeg") pictureList.kif 8330-8330
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 3/ 33/ Latin_B.png/ 435px-Latin_B.png") pictureList.kif 8849-8849
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 56/ Latin_C.png/ 407px-Latin_C.png") pictureList.kif 8850-8850
(externalImage AlphabeticCharacter "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 7d/ Latin_A.png/ 436px-Latin_A.png") pictureList.kif 8848-8848
(subclass AlphabeticCharacter Character) Mid-level-ontology.kif 19465-19465 AlphabeticCharacter ist eine teilkategorie von Character

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


(subclass Consonant AlphabeticCharacter) Mid-level-ontology.kif 19473-19473 Consonant ist eine teilkategorie von AlphabeticCharacter
(subclass Vowel AlphabeticCharacter) Mid-level-ontology.kif 19477-19477 Vowel ist eine teilkategorie von AlphabeticCharacter
(termFormat ChineseLanguage AlphabeticCharacter "字母字符") domainEnglishFormat.kif 6984-6984
(termFormat ChineseTraditionalLanguage AlphabeticCharacter "字母字符") domainEnglishFormat.kif 6983-6983
(termFormat EnglishLanguage AlphabeticCharacter "alphabetic character") domainEnglishFormat.kif 6982-6982

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


(=>
    (and
        (acronym ?STRING ?THING)
        (inString ?CHAR ?STRING))
    (instance ?CHAR AlphabeticCharacter))		 Media.kif 3041-3045
(=>
    (and
        (instance ?STR AlphabeticString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR AlphabeticCharacter))		 Media.kif 2904-2909
(=>
    (instance ?ANS AlphaNumericString)
    (exists (?A ?N)
        (and
            (instance ?A AlphabeticCharacter)
            (inString ?A ?ANS)
            (instance ?N DigitCharacter)
            (inString ?N ?ANS))))		 Media.kif 2941-2948


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