Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
dehydrator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is consistently defined across all sources by its function of removing water/water vapor from process streams, not by any specific physical mechanism or configuration. Different dehydrator types (glycol, dry-bed) use different mechanisms but share the same identity-giving function.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
DehydrationFunction → DehydrationProcess ⊑ MassTransfer
▼
COPI-Core operation
MassTransfer via process parent MassTransfer
LLM rationale:
The identity-giving function is the removal of water and water vapor from process streams. This is what makes a dehydrator a dehydrator regardless of the specific mechanism (glycol absorption, solid desiccant beds, etc.). The function realizes a dehydration process that transforms wet streams into dried streams.
▸
Expert review
2
Genus Proximus
✓ done
Separator · Assembly
▼
Genus (genus proximum)
Most specific superclass — may be a domain class like "Valve" or an IOF-Core root.
BFO/IOF-Core Root
bfo:Object branch
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
Dehydrators are specialized separators that separate water from other fluid components. The already-enriched 'separator' class with SeparationFunction is the most appropriate genus. Dehydration is a specific type of separation process. No more specific parent like 'treating vessel' exists in our ontology yet. Separator inherits from Assembly as it requires multiple integrated components for the separation process.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.DehydrationFunction
▼
Conditions that distinguish
Dehydrator
from sibling classes under genus
Separator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific DehydrationFunction that targets water removal. This is more specific than the generic SeparationFunction inherited from Separator. The differentia distinguishes dehydrators from other separators by the specific nature of what is being separated (water) rather than the mechanism used.
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts are universal across all dehydrator types. Specific mechanisms (desiccant beds, glycol contactors, regeneration systems) vary by subtype and should be modeled at the subtype level.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid + PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Dehydrators take in a wet process stream and produce a dried main stream plus a water-rich waste stream. The transformation involves mass transfer of water from the main process stream to either a desiccant medium or a separate water removal stream.
▸
Expert review
More
Alternative labels
none
▼
Synonyms / alternative labels (comma-separated) — skos:altLabel
Language auto-detected on export (PT if the label contains accents, EN otherwise).
Properties as BFO qualities
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Dehydrator.
Write the restriction block in Turtle syntax (without the leading
rdfs:subClassOf).
Example: [ owl:onProperty :hasPart ; owl:someValuesFrom :Wellhead ]
Cross-standard divergences
none detected yet
▼
Click "Detect divergences" to analyse cross-standard disagreements for this cluster.
