Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
flow transmitter
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Flow transmitter is defined by its function of transmitting flow measurement signals to remote locations or control systems. While different subtypes use different sensing technologies (differential pressure, electromagnetic, ultrasonic, etc.), they are all unified by the same signal transmission function applied to flow measurement.
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
FlowSignalTransmissionFunction → FlowSignalTransmissionProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent SignalTransmissionProcess
LLM rationale:
The identity-giving function is the transmission of standardized output signals proportional to flow measurements. This is a specialization of general SignalTransmissionFunction that specifically handles flow process variables. All definitions emphasize the conversion/transmission of flow measurement to standardized output signals.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Transmitter · 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:
Based on parent_candidates, 'transmitter' is the most specific appropriate superclass and is already enriched in our ontology with SignalTransmissionFunction. Flow transmitter is clearly a specialized type of transmitter that focuses on flow process variables. The ISO 15926 definition explicitly states it's a PROCESS VARIABLE TRANSMITTER, and CFIHOS/POSC definitions describe it as a transmitter with flow-specific functionality.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.FlowSignalTransmissionFunction ⊓ ∃hasInput.FlowMeasurementResult
▼
Conditions that distinguish
Flow Transmitter
from sibling classes under genus
Transmitter.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia specializes the general SignalTransmissionFunction to FlowSignalTransmissionFunction and specifies that the input must be flow measurements. This is minimal and distinguishing - any transmitter that handles flow measurements is by definition a flow transmitter.
▸
Expert review
— accepted
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 to all flow transmitters - every instance needs a flow sensing capability and signal conditioning/transmission capability. Specific sensing technologies (differential pressure, electromagnetic, etc.) are differentia for subtypes.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FlowMeasurementResult → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Flow transmitters receive flow measurements from sensing elements and convert them to standardized output signals. They require electrical power for operation. The core transformation is measurement-to-signal conversion, not process fluid transformation.
▸
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 5 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Flow Transmitter as
bfo:Quality subclasses.
Each selected property →
:FlowTransmitterQuality ⊑ bfo:Quality, inheres in :FlowTransmitter
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Flow Transmitter.
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.
Source Definitions (4)
FLOW TRANSMITTER — ClassOfFunctionalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
flow transmitter — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Flow Transmitter — ISA Tag Abbreviation
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Flow Transmitter — Class
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (4)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
Linked competency questions
- answered What planned processes involve Transmitters as measurement participants?
OWL/Turtle preview
Download .ttl
Numeric
COPI_* IRIs from copi-iri-map.tsv, with the readable name as a trailing comment. Names not yet in the map stay readable.
Loading...
ID 48 · claude-sonnet-4-20250514
Created 2026-04-13 22:16
Updated 2026-09-08 12:26
