Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
filter
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Filter is primarily defined by its designed function to separate/remove unwanted constituents from a fluid stream (liquid, gas, or data stream). While filters may have different physical mechanisms (bag, cartridge, ceramic, etc.), the identity is fundamentally grounded in the filtration function rather than any specific physical configuration.
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
FiltrationFunction → FiltrationProcess ⊑ MechanicalSeparation
▼
COPI-Core operation
MechanicalSeparation via process parent MechanicalSeparation
LLM rationale:
Filtration is the identity-giving function that distinguishes filters from other separation equipment. It specifically involves selective removal of unwanted constituents (typically solids from fluids) based on physical barriers, size exclusion, or other selective mechanisms. This function encompasses both physical filtration (removing particles) and signal filtration (removing unwanted data components).
▸
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:
Filter is a specialized type of separator - the CFIHOS and POSC Caesar definitions explicitly state 'A separator intended to remove solids from vapour or liquid'. The already-enriched separator class (SeparationFunction, genus: Vessel) exists in the ontology. However, filters are more generally Assembly-level equipment that can be standalone units with multiple components (filter housing, filter element, cleaning mechanisms, etc.), not necessarily vessel-based like bulk separators.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.FiltrationFunction ⊓ ∃participatesIn.FiltrationProcess
▼
Conditions that distinguish
Filter
from sibling classes under genus
Separator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures that filters perform a specialized type of separation - selective removal based on barriers, size, or other discriminating properties. This distinguishes them from centrifuges (force-based), scrubbers (absorption-based), or bulk separators (phase-based). The SelectiveRemovalFunction is a subtype of SeparationFunction that specifies the discriminating nature of filtration.
▸
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 that any filter must possess - a filtering element to perform the separation and a housing to contain and direct the process. More complex filters will have additional components (cleaning mechanisms, differential pressure indicators, etc.) but these two are universal.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid + RemovedMaterial
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Filters transform a contaminated input stream into a cleaned output stream plus separated waste/retained material. Unlike bulk separators that separate phases, filters selectively remove specific constituents while preserving the primary fluid phase.
▸
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
0 of 9 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Filter as
bfo:Quality subclasses.
Each selected property →
:FilterQuality ⊑ bfo:Quality, inheres in :Filter
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Filter.
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.
