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 19725-19726 | |
| (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 19724-19724 |
| appearance as argument number 2 |
|
|
| (subclass Consonant AlphabeticCharacter) | Mid-level-ontology.kif 19732-19732 | |
| (subclass Vowel AlphabeticCharacter) | Mid-level-ontology.kif 19736-19736 | |
| (termFormat ChineseLanguage AlphabeticCharacter "字母字符") | domainEnglishFormat.kif 6987-6987 | |
| (termFormat ChineseTraditionalLanguage AlphabeticCharacter "字母字符") | domainEnglishFormat.kif 6986-6986 | |
| (termFormat EnglishLanguage AlphabeticCharacter "alphabetic character") | domainEnglishFormat.kif 6985-6985 |
| consequent |
|
|
| (=> (and (acronym ?STRING ?THING) (inString ?CHAR ?STRING)) (instance ?CHAR AlphabeticCharacter)) |
Mid-level-ontology.kif 27517-27521 | |
| (=> (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 |
|
|
|