DecimalDigitString |
appearance as argument number 1 |
![]() |
(subclass DecimalDigitString SymbolicString) | Media.kif 2913-2913 | DecimalDigitString は 記号文字列 の subclass では |
appearance as argument number 2 |
![]() |
(subclass NumericIDString DecimalDigitString) | Media.kif 2968-2968 | NumericIDString は DecimalDigitString の subclass では |
(subclass NumericString4 DecimalDigitString) | Media.kif 2955-2955 | NumericString4 は DecimalDigitString の subclass では |
(termFormat EnglishLanguage DecimalDigitString "decimal digit string") | domainEnglishFormat.kif 64745-64745 | NumericString4 は DecimalDigitString の subclass では |
antecedent |
![]() |
(=> (and (instance ?STR DecimalDigitString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR DigitCharacter)) |
Media.kif 2914-2919 | |
(=> (and (instance ?STRING DecimalDigitString) (stringLength 4 ?STRING)) (instance ?STRING NumericString4)) |
Media.kif 2961-2965 |
|
![]() |
![]() |