| (subclass AlphaNumericString SymbolicString) | Media.kif 2938-2938 | AlphaNumericString は 記号文字列 の subclass では %n |
| (subclass AlphaNumericString LinguisticExpression) | Media.kif 2939-2939 | AlphaNumericString は 言語表現 の subclass では %n |
| (subclass AlphaNumericIDString AlphaNumericString) | Media.kif 2951-2951 | AlphaNumericIDString は AlphaNumericString の subclass では %n |
|
|