No TPTP formula. May not be expressible in strict first order. | Geography.kif 7128-7128 | CrystallineStructure e' uma sub-classe de StructureAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7130-7130 | MonoCrystalline e' uma sub-classe de CrystallineStructure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7136-7136 | PolyCrystalline e' uma sub-classe de CrystallineStructure |
![]() |