(subclass AlphaNumericIDString FormalIdentifier) | Media.kif 2950-2950 | AlphaNumericIDString est une sous-classe de FormalIdentifier |
(subclass AlphaNumericIDString AlphaNumericString) | Media.kif 2951-2951 | AlphaNumericIDString est une sous-classe de AlphaNumericString |