Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
flow indicator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Identity is fundamentally defined by the designed function to indicate/display flow rate measurements. The definition emphasizes 'specially and exclusively designed for INDICATING a FLOW RATE', making the indication function primary over any particular physical measurement mechanism.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
— accepted
Axiomatization steps
1
Identity-Giving Function
✓ done
⚠ not anchored
FlowIndicationFunction → FlowIndicationProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The identity-giving function is to visually display or indicate flow rate measurements to human operators. This is distinct from flow measurement (sensing) or flow signal transmission - it specifically involves presenting flow information in a human-readable format.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Indicator · 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:
While the source lists FLOW MEASURING INSTRUMENT, INDICATOR, and INSTRUMENTATION ITEM as parents, the most specific appropriate genus is Instrument. Flow indicators are specialized instruments that both measure and display flow. The genus is not enriched in our current ontology but is the logical superclass for measurement and display devices.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.FlowIndicationFunction ⊓ ∃hasComponentPartAtSomeTime.FlowElement
▼
Conditions that distinguish
Flow Indicator
from sibling classes under genus
Indicator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia combines the specific indication function with the requirement for a flow element. This distinguishes it from other indicators (different measured parameter) and from flow transmitters (indication vs. transmission).
▸
Expert review
— accepted
4
Necessary Parts
✓ done
FlowElement
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
Flow indicators require both measurement capability (flow element) and display capability (display element) to fulfill their designed function of indicating flow rates.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → VisualIndication
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Takes a flowing fluid as input and produces visual information output showing the flow rate. The transformation involves sensing the flow and converting to visual display format.
▸
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 Indicator.
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.
