No TPTP formula. May not be expressible in strict first order. | Geography.kif 7128-7128 | 子類 CrystallineStructure and StructureAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7130-7130 | 子類 MonoCrystalline and CrystallineStructure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7136-7136 | 子類 PolyCrystalline and CrystallineStructure |