| (subclass StructureAttribute InternalAttribute) | Merge.kif 17723-17723 | StructureAttribute est une sous-classe de attribut interne |
| (subclass ShapeAttribute StructureAttribute) | Merge.kif 17729-17729 | Attribut de forme est une sous-classe de StructureAttribute |
| (subclass CrystallineStructure StructureAttribute) | Geography.kif 7128-7128 | CrystallineStructure est une sous-classe de StructureAttribute |
|
|