Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   DecimalDigitString
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DecimalDigitString SymbolicString) | Media.kif 2858-2858 | Decimal digit string is a subclass of symbolic string |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?STR DecimalDigitString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR DigitCharacter)) |
Media.kif 2859-2864 | If X is an instance of decimal digit string, Y is a part of X, and Y is an instance of character, then Y is an instance of digit character |
| (=> (and (instance ?STRING DecimalDigitString) (stringLength 4 ?STRING)) (instance ?STRING NumericString4)) |
Media.kif 2906-2910 | If X is an instance of decimal digit string and X is 4 characters long, then X is an instance of numeric string4 |
|