| (subclass StructureAttribute InternalAttribute) | Merge.kif 17723-17723 | StructureAttribute は 内部属性 の subclass では %n |
| (subclass ShapeAttribute StructureAttribute) | Merge.kif 17729-17729 | 形状属性 は StructureAttribute の subclass では %n |
| (subclass CrystallineStructure StructureAttribute) | Geography.kif 7128-7128 | CrystallineStructure は StructureAttribute の subclass では %n |
|
|