Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
coriolis mass flow meter
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
This concept is defined by its specific measurement mechanism (Coriolis principle) rather than by a distinct function. It shares the same measurement function as other mass flow meters but is distinguished by its constructive implementation using Coriolis effect.
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:
Reusing the existing FlowMeasurementFunction from the already-enriched 'flow meter' class. A Coriolis mass flow meter shares the same identity-giving function as other flow meters - to measure flow characteristics of fluids.
▸
Expert review
2
Genus Proximus
✓ done
FlowMeter · 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:
The parent_candidates list includes 'flow meter' which is already enriched in our ontology. This is the most specific appropriate superclass. Coriolis mass flow meter is explicitly defined as a specialized type of mass flow meter, and flow meter is the broader category that encompasses both volumetric and mass flow measurement devices.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.CoriolisFlowTube ⊓ ∃utilizesPhysicalPrinciple.CoriolisPrinciple
▼
Conditions that distinguish
Coriolis Mass Flow Meter
from sibling classes under genus
FlowMeter.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the constructive mechanism that distinguishes Coriolis flow meters: the presence of specialized Coriolis flow tubes and the utilization of the Coriolis physical principle. This is the minimal additional condition beyond the generic flow measurement function inherited from the genus.
▸
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 constitute the essential Coriolis measurement mechanism: oscillating tubes, driving mechanism, force detection, and signal processing.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid + FlowMeasurementResult
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Coriolis meters provide inline measurement without flow restriction or fluid modification, outputting the measured fluid plus measurement 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
0 of 11 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Coriolis Mass Flow Meter as
bfo:Quality subclasses.
Each selected property →
:CoriolisMassFlowMeterQuality ⊑ bfo:Quality, inheres in :CoriolisMassFlowMeter
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Coriolis Mass Flow Meter.
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.
