more pictures...
| 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 21038-21039 | |
| (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 21037-21037 |
| appearance as argument number 2 |
|
|
| (subclass Consonant AlphabeticCharacter) | Mid-level-ontology.kif 21045-21045 | |
| (subclass Vowel AlphabeticCharacter) | Mid-level-ontology.kif 21049-21049 | |
| (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)) |
Mid-level-ontology.kif 29154-29158 | |
| (=> (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 |
|
|
|