Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
dryer
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The definitions focus on the capability/function of drying rather than specific physical mechanisms. Both sources define dryer by its drying capability, making this a functionally-defined equipment type.
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
DryingFunction → DryingProcess ⊑ MassTransfer
▼
COPI-Core operation
MassTransfer via process parent MassTransfer
LLM rationale:
Drying is the identity-giving function that distinguishes dryers from other equipment. The function involves removing moisture/water from materials through various mechanisms (heat, gas contact, pressure reduction, etc.).
▸
Expert review
2
Genus Proximus
✓ done
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:
No more specific equipment superclass is evident from the parent candidates. ProcessEquipment and FunctionalObject are too abstract. Dryers are typically complex equipment with multiple interacting parts (heating elements, blowers, control systems) that form a causally unified whole, making Assembly the appropriate genus.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.DryingFunction
▼
Conditions that distinguish
Dryer
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The drying function is the minimal and necessary differentia that distinguishes dryers from other assemblies. This function encompasses various drying mechanisms (convection, conduction, radiation, pressure reduction) as seen in the subtypes.
▸
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 are the minimal essential parts - a space for drying and a way to handle materials. Specific heat sources, gas handling systems, or control mechanisms vary by subtype.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
MaterialEntity → MaterialEntity + PortionOfGas
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Dryers take wet materials and produce the same materials with reduced moisture content plus the extracted water/vapor. The transformation is specifically about moisture separation.
▸
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 Dryer.
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.
