(subclass StructureAttribute InternalAttribute) | Merge.kif 17745-17745 | StructureAttribute 是 内在属性 的 subclass |
(subclass ShapeAttribute StructureAttribute) | Merge.kif 17751-17751 | 形状属性 是 StructureAttribute 的 subclass |
(subclass CrystallineStructure StructureAttribute) | Geography.kif 7128-7128 | 晶体结构 是 StructureAttribute 的 subclass |