Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
flow switch
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined purely by its designed function - detecting flow rate and providing switching action when flow reaches preset values. This is a role-specific function regardless of the physical switching mechanism used (mechanical paddle, thermal, magnetic, etc.).
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
FlowSwitchingFunction → FlowSwitchingProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function combines flow detection with switching action at preset flow rate thresholds. This differs from pure flow measurement (flow meter) or pure switching (generic switch) by the specific coupling of flow sensing with binary switching output.
▸
Expert review
2
Genus Proximus
✓ done
Instrument · 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:
Flow switch is fundamentally an instrumentation device that measures flow and provides control signals. While parent candidates include 'FLOW MEASURING INSTRUMENT' and 'PROCESS SWITCH', the most appropriate genus is 'Instrument' as it encompasses both measurement and switching instrumentation functions. The enriched classes show many instruments (transmitter, indicator, etc.) under this genus.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.FlowSwitchingFunction
▼
Conditions that distinguish
Flow Switch
from sibling classes under genus
Instrument.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific FlowSwitchingFunction that combines flow detection with binary switching behavior. This distinguishes it from other flow instruments (meters, transmitters) that provide continuous signals, and from other switches that respond to different process variables.
▸
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 - any flow switch implementation requires flow sensing, switching capability, and setpoint adjustment regardless of the specific technology used.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Flow switches transduce flow conditions into discrete electrical signals, fundamentally different from continuous measurement devices
▸
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 13 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Flow Switch as
bfo:Quality subclasses.
Each selected property →
:FlowSwitchQuality ⊑ bfo:Quality, inheres in :FlowSwitch
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Flow Switch.
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.