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 19494-19495 | |
| (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 19493-19493 | 子類 字母字符 and Character |
| appearance as argument number 2 |
|
|
| (subclass Consonant AlphabeticCharacter) | Mid-level-ontology.kif 19501-19501 | 子類 輔音 and 字母字符 |
| (subclass Vowel AlphabeticCharacter) | Mid-level-ontology.kif 19505-19505 | 子類 元音 and 字母字符 |
| (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)) |
Mid-level-ontology.kif 27284-27288 |
|
| (=> (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 |
|
|
|
|