DigitCharacter
|
|
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 19498-19499 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ LED_digit_2.png") | pictureList.kif 10849-10849 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ LED_digit_0.png") | pictureList.kif 9981-9981 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ LED_digit_9.png") | pictureList.kif 10856-10856 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Nixie.gif") | pictureList.kif 10857-10857 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ LED_digit_5.png") | pictureList.kif 10852-10852 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ LED_digit_7.png") | pictureList.kif 10854-10854 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ LED_digit_8.png") | pictureList.kif 10855-10855 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LED_digit_1.png") | pictureList.kif 10848-10848 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ LED_digit_3.png") | pictureList.kif 10850-10850 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ LED_digit_6.png") | pictureList.kif 10853-10853 | |
(externalImage DigitCharacter "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ LED_digit_4.png") | pictureList.kif 10851-10851 | |
(subclass DigitCharacter Character) | Mid-level-ontology.kif 19497-19497 | Digit character is a subclass of character |
appearance as argument number 2 |
(termFormat ChineseLanguage DigitCharacter "数字字符") | domainEnglishFormat.kif 19536-19536 | |
(termFormat ChineseTraditionalLanguage DigitCharacter "數字字符") | domainEnglishFormat.kif 19535-19535 | |
(termFormat EnglishLanguage DigitCharacter "digit character") | domainEnglishFormat.kif 19534-19534 |
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 |
|