(subclass CrystallineStructure StructureAttribute) | Geography.kif 7128-7128 | CrystallineStructure は StructureAttribute の subclass では %n |
(subclass MonoCrystalline CrystallineStructure) | Geography.kif 7130-7130 | MonoCrystalline は CrystallineStructure の subclass では %n |
(subclass PolyCrystalline CrystallineStructure) | Geography.kif 7136-7136 | PolyCrystalline は CrystallineStructure の subclass では %n |