(subclass StructureAttribute InternalAttribute) | Merge.kif 17745-17745 | StructureAttribute は 内部属性 の subclass では %n |
(subclass ShapeAttribute StructureAttribute) | Merge.kif 17751-17751 | 形状属性 は StructureAttribute の subclass では %n |
(subclass CrystallineStructure StructureAttribute) | Geography.kif 7128-7128 | CrystallineStructure は StructureAttribute の subclass では %n |
![]() |