crystalline structure
IRI: https://spec.industrialontologies.org/ontology/construct/CrystallineStructure
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaReferenceOntologyAttributes/
SubClass Of: physical structure
Class Hierarchy
owl:Thing βΊ bfo:entity βΊ bfo:continuant βΊ bfo:specifically dependent continuant βΊ bfo:quality βΊ morphological quality βΊ physical structure βΊ crystalline structure
Definition
physical structure that inheres in a solid material entity by virtue of the material entity having material parts arranged in a highly ordered, long-range periodic lattice
Examples
- the crystalline structure of sodium chloride crystals; the crystalline structure of a crystalline drug substance lot; the crystalline structure of mannitol in a lyophilized formulation; the crystalline structure of lactose monohydrate powder;
Adapted From
- https://en.wikipedia.org/wiki/Crystal
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs for creating a set of necessary and sufficient conditions
Formal Axioms
First-Order Logic Axioms
CrystallineStructure(x) β PhysicalStructure(x) β§ βmβs (MaterialEntity(m) β§ qualityOf(x, m) β§ SolidAggregateState(s) β§ hasQuality(m, s))
Semi-Formal Natural Language Axioms
if x is a βcrystalline structureβ then x is a βphysical structureβ that is the βquality ofβ some βmaterial entityβ that βhas qualityβ some βsolid aggregate stateβ
Description Logic
constr:CrystallineStructure β constr:PhysicalStructure
constr:CrystallineStructure β β constr:qualityOf .(bfo:material_entity β β constr:hasQuality .constr:SolidAggregateState)
constr:CrystallineStructure β constr:AmorphousStructure β β₯
constr:CrystallineStructure β constr:SemiCrystallineStructure β β₯
SubClassOf: constr:PhysicalStructure
SubClassOf: constr:qualityOf some (bfo:material_entity and constr:hasQuality some constr:SolidAggregateState)
constr:CrystallineStructure DisjointWith: (constr:AmorphousStructure, constr:SemiCrystallineStructure)