semi-crystalline structure

IRI: https://spec.industrialontologies.org/ontology/construct/SemiCrystallineStructure

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 › semi-crystalline structure

Definition

physical structure that inheres in a solid material entity by virtue of that entity having both crystalline regions and amorphous regions interspersed as structural parts

Examples

• the semi-crystalline structure of polyethylene; the semi-crystalline structure of polypropylene; the semi-crystalline structure of a polymer film containing crystalline lamellae and amorphous regions; the semi-crystalline structure of a partially crystallized excipient;

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

SemiCrystallineStructure(x) → PhysicalStructure(x) ∧ ∃m∃s∃a∃c∃as∃cs(MaterialEntity(m) ∧ qualityOf(x,m) ∧ SolidAggregateState(s) ∧ hasQuality(m,s) ∧ MaterialEntity(a) ∧ MaterialEntity(c) ∧ a ≠ c ∧ properContinuantPartOfAtAllTimes(a,m) ∧ properContinuantPartOfAtAllTimes(c,m) ∧ AmorphousStructure(as) ∧ hasQuality(a,as) ∧ CrystallineStructure(cs) ∧ hasQuality(c,cs))

Semi-Formal Natural Language Axioms

if x is a ‘semi-crystalline structure’ then x is a ‘physical structure’ that is the ‘quality of’ some ‘material entity’ that ‘has quality’ some ‘solid aggregate state’ and ‘has proper continuant part at all times’ two distinct ‘material entities’, one that ‘has quality’ some ‘amorphous structure’ and another that ‘has quality’ some ‘crystalline structure’

Description Logic

constr:SemiCrystallineStructure ⊑ constr:PhysicalStructure

constr:SemiCrystallineStructure ⊑ ∃ constr:qualityOf .(bfo:material_entity ⊓ ∃ bfo:has_proper_continuant_part_at_all_times .(bfo:material_entity ⊓ ∃ constr:hasQuality .constr:AmorphousStructure) ⊓ ∃ bfo:has_proper_continuant_part_at_all_times .(bfo:material_entity ⊓ ∃ constr:hasQuality .constr:CrystallineStructure) ⊓ ∃ constr:hasQuality .constr:SolidAggregateState)

constr:SemiCrystallineStructure ⊓ constr:AmorphousStructure ⊑ ⊥

constr:SemiCrystallineStructure ⊓ constr:CrystallineStructure ⊑ ⊥

SubClassOf: constr:PhysicalStructure

SubClassOf: constr:qualityOf some (bfo:material_entity and bfo:has_proper_continuant_part_at_all_times some (bfo:material_entity and constr:hasQuality some constr:AmorphousStructure) and bfo:has_proper_continuant_part_at_all_times some (bfo:material_entity and constr:hasQuality some constr:CrystallineStructure) and constr:hasQuality some constr:SolidAggregateState)

constr:SemiCrystallineStructure DisjointWith: (constr:AmorphousStructure, constr:CrystallineStructure)