portion of water
IRI: https://spec.industrialontologies.org/ontology/construct/PortionOfWater
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaMaterial/
SubClass Of: chemical substance material
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › chemical substance material › portion of water
Direct subclasses:
Definition
chemical substance material composed primarily of water molecules, allowing for minor impurities arising from production, handling, or environmental exchange
Explanatory Notes
1) This class represents bulk water materials whose identity is based on being composed primarily of water molecules. It is intended to capture the common practical meaning of water as used in scientific, industrial, and pharmaceutical settings, where real-world water is not expected to consist solely of H₂O molecules. 2) This class is distinct from the molecular entity water molecule, which represents H₂O at the molecular level. The molecular entity should be used when referring to individual water molecules or chemical reactions involving H₂O, whereas this class should be used for bulk water materials, water grades, and water handled in processes. 3) This class includes bulk water materials that may contain low-level dissolved gases, minerals, ions, residual disinfectants, or other minor impurities or treatment-related constituents, provided the material is still handled and classified as water. It excludes materials whose identity depends on water serving as the solvent or principal constituent of a formulated mixture, such as buffer solutions, saline solutions, culture media, cleaning solutions, or pharmaceutical formulations.
Examples
- purified water; Water for Injection; process water; deionized water; drinking water; water used as a raw material in buffer preparation
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to create a set of necessary and sufficient conditions.
Formal Axioms
First-Order Logic Axioms
PortionOfWater(x) → ChemicalSubstanceMaterial(x) ∧ ∃m (WaterMolecule(m) ∧ isMadeOfAtAllTimes(x, m))
Semi-Formal Natural Language Axioms
if x is ‘portion of water’ then x is a ‘chemical substance material’ that ‘is made of at all times’ some ‘water molecule’