Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
flow measuring element
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined entirely by its function - 'to measure flow rate'. The identity is given by the measurement function it is designed to realize, regardless of the physical implementation mechanism (differential pressure, electromagnetic, optical, 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
⚠ not anchored
FlowMeasurementFunction → FlowMeasurementProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The function FlowMeasurementFunction already exists in the enriched classes list (used by flow element, flow meter, orifice plate, coriolis mass flow meter). Since 'flow measuring element' has the identical identity-giving function - measuring flow rate - I reuse the existing function name rather than creating a new one.
▸
Expert review
2
Genus Proximus
✓ done
FlowElement · 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:
The source definition explicitly states that 'A FLOW MEASURING ELEMENT is a MEASURING ELEMENT that is used to measure FLOW RATE'. The genus MEASURING ELEMENT is directly provided in the parent_candidates. While MeasuringElement is not yet enriched in our ontology, it is the most specific and ontologically correct superclass according to the ISO 15926 hierarchy.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.FlowMeasurementFunction
▼
Conditions that distinguish
Flow Measuring Element
from sibling classes under genus
FlowElement.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific measurement function - FlowMeasurementFunction. The genus MeasuringElement already provides the general measurement capability, so the differentia only needs to specify that this particular measuring element is designed for flow rate measurement.
▸
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:
No specific component parts are mentioned in the source definition or available in the Known Component Terms list. The definition is purely functional, stating only that it 'measures flow rate' without specifying any mandatory physical components. Different subtypes (differential pressure, electromagnetic, optical, etc.) have different structural implementations, so parts should be specified at the subtype level rather than at this universal level.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → FlowMeasurementResult
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The process signature captures the essence of flow measurement: a flowing fluid stream enters as input, and the measuring element outputs an information-bearing artifact (signal, indication, or reading) that represents the flow rate. The transformation is measurement_transduction as the element converts a physical quantity (flow rate) into a measurable signal.
▸
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 Flow Measuring Element.
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.
