(subclass CrystallineStructure StructureAttribute) | Geography.kif 7128-7128 | CrystallineStructure est une sous-classe de StructureAttribute |
(subclass MonoCrystalline CrystallineStructure) | Geography.kif 7130-7130 | MonoCrystalline est une sous-classe de CrystallineStructure |
(subclass PolyCrystalline CrystallineStructure) | Geography.kif 7136-7136 | PolyCrystalline est une sous-classe de CrystallineStructure |