Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
strainer
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Strainer is primarily defined by its designed function to separate solid particles from fluids through physical filtration, regardless of the specific physical configuration (wire mesh, perforations, basket shape, Y-shape, etc.). The identity is given by the separation function, not by any particular structural mechanism.
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
SeparationFunction → SeparationProcess ⊑ MechanicalSeparation
▼
COPI-Core operation
MechanicalSeparation via process parent MechanicalSeparation
LLM rationale:
The identity-giving function is separating solid particles from fluids through physical filtration. This aligns with the already-enriched SeparationFunction in our ontology, used by separators and centrifuges. All definitions converge on this separation capability as the defining characteristic.
▸
Expert review
2
Genus Proximus
✓ done
MaterialArtifact
▼
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 domain-specific superclass exists in the parent candidates that is appropriate. 'FunctionalObject' and 'Artefact' are too abstract, 'PipeFitting' is too narrow (strainers can be standalone units), and 'other mechanical equipment' is not a proper ontological class. Strainers are typically monolithic or simple assemblies that function as single causally unified objects, making MaterialArtifact the appropriate BFO root.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.SeparationFunction ⊓ ∃hasComponentPartAtAllTimes.FilteringElement ⊓ ∃participatesIn.SolidLiquidSeparationProcess
▼
Conditions that distinguish
Strainer
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia specifies the particular type of separation function (solid-liquid separation) and the necessary physical means (filtering element with screens/perforations). This distinguishes strainers from other separation equipment and from non-separating fluid equipment.
▸
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 universal parts required for any strainer to function - a filtering mechanism and a body to contain it. Specific configurations (basket shape, Y-shape, etc.) are subtype-specific.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid + PortionOfSolid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Strainers take a contaminated fluid input and produce a cleaner fluid output plus captured solid waste. The transformation is purely mechanical separation without phase change or chemical alteration.
▸
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 Strainer.
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.
