more pictures...
| DigitCharacter(digit character)
more pictures... | | decimal_digit, number, numeral |
| appearance as argument number 1 |
|
|
| (documentation DigitCharacter EnglishLanguage "Any Character that is comprised of a single digit, i.e. one of the numerals 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.") | Mid-level-ontology.kif 19729-19730 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ LED_digit_2.png") | pictureList.kif 10848-10848 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ LED_digit_0.png") | pictureList.kif 9980-9980 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ LED_digit_9.png") | pictureList.kif 10855-10855 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Nixie.gif") | pictureList.kif 10856-10856 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ LED_digit_5.png") | pictureList.kif 10851-10851 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ LED_digit_7.png") | pictureList.kif 10853-10853 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ LED_digit_8.png") | pictureList.kif 10854-10854 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LED_digit_1.png") | pictureList.kif 10847-10847 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ LED_digit_3.png") | pictureList.kif 10849-10849 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ LED_digit_6.png") | pictureList.kif 10852-10852 | |
| (externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ LED_digit_4.png") | pictureList.kif 10850-10850 | |
| (subclass DigitCharacter Character) | Mid-level-ontology.kif 19728-19728 | Digit character is a subclass of character |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DigitCharacter "数字字符") | domainEnglishFormat.kif 19547-19547 | |
| (termFormat ChineseTraditionalLanguage DigitCharacter "數字字符") | domainEnglishFormat.kif 19546-19546 | |
| (termFormat EnglishLanguage DigitCharacter "digit character") | domainEnglishFormat.kif 19545-19545 |
| consequent |
|
|
| (=> (and (instance ?STR DecimalDigitString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR DigitCharacter)) |
Media.kif 2912-2917 |
|
| (=> (instance ?ANS AlphaNumericString) (exists (?A ?N) (and (instance ?A AlphabeticCharacter) (inString ?A ?ANS) (instance ?N DigitCharacter) (inString ?N ?ANS)))) |
Media.kif 2941-2948 |
|
|
|
|