(subclass NumericIDString FormalIdentifier) | Media.kif 2965-2965 | NumericIDString ist eine teilkategorie von FormalIdentifier |
(subclass NumericIDString DecimalDigitString) | Media.kif 2966-2966 | NumericIDString ist eine teilkategorie von DecimalDigitString |