dissolution role
IRI: https://spec.industrialontologies.org/ontology/construct/DissolutionRole
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaMaterial/
SubClass Of: bfo:role
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › dissolution role
Direct subclasses:
Definition
role held by a material entity that is realized in a dissolution process in which it participates in forming a solution
Examples
- a sodium chloride portion bearing a dissolution role that is realized in a buffer preparation process having a sodium chloride solution as specified output; a sucrose portion bearing a dissolution role that is realized in a formulation preparation process having an aqueous sucrose solution as specified output
Adapted From
- http://purl.allotrope.org/ontologies/role#AFRL_0000274
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to define necessary and sufficient conditions.
Formal Axioms
First-Order Logic Axioms
DissolutionRole(x) → Role(x) ∧ ∀y(hasRealization(x, y) → (Process(y) ∧ ∃z(Solution(z) ∧ hasOutput(y, z))))
Semi-Formal Natural Language Axioms
if x is a ‘dissolution role’, then x is a ‘role’ and every y that is a ‘realization of’ x is a ‘process’ that ‘has output’ some ‘solution’
Description Logic
constr:DissolutionRole ⊑ bfo:role
constr:DissolutionRole ⊑ ∀ bfo:has_realization .(bfo:process ⊓ ∃ constr:hasOutput .constr:Solution)
SubClassOf: bfo:role
SubClassOf: bfo:has_realization only (bfo:process and constr:hasOutput some constr:Solution)