Process Variable Transmitter

← Dashboard ‹ 37/314 ›

validated ⋯ Quality

COPI_0000769

Definition & axiom

Label (EN)

process variable transmitter

Label (PT-BR)

Definition (EN)

Definition (PT-BR)

Semi-formal axiom (Aristotelian)

Axiom type

Necessary only (⊑) Necessary + sufficient (≡)

LLM classification basis: function-based → ≡

ISA-5.1's own tag-abbreviation convention treats 'Indicate' + 'Transmit' as a combinable, process-variable-agnostic pair of succeeding letters (confirmed identically across AIT, FIT, LIT, PIT, TIT), and the already-enriched sibling 'pressure indicating transmitter' models exactly this combined capability for one variable. The colleague's generic 'transmitter with indicator' is the variable-agnostic case of the same pattern -- capability-based, no specific mechanism named.

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 SignalTransmissionFunction → SignalTransmissionProcess ⊑ MeasurementProcess ▼

Function Class

Parent ↗ IOF-Core

Process Class

Process Parent ↗ IOF-Core

COPI-Core operation MeasurementProcess via process parent MeasurementProcess

LLM rationale: Reuse case: ISO 15926-4 defines the class as 'a MEASURING INSTRUMENT and a STANDARD SIGNAL SENDER and a TRANSMITTER for a PROCESS VARIABLE measurement', which is the transmitter's own function. Revised 2026-09-15: IndicatingTransmissionFunction had no basis in the primary source (local indication came from ISA 5.1 PIT/FIT/LIT/TIT tags, which are subtypes).

▸ Expert review

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

Assembly ↗

Disassemblable unit (pump, compressor, HX)

MaterialArtifact ↗

Monolithic artefact (valve, pipe, sensor)

Object ↗

bfo:Object — when neither Assembly nor MaterialArtifact fits

FiatObjectPart ↗

Fiat part (well interval, pipe segment)

bfo:ObjectAggregate branch

EngineeredSystem ↗

Deliberate system of interacting objects (train, package)

ObjectAggregate ↗

bfo:ObjectAggregate — when EngineeredSystem is too specific

bfo:ImmaterialEntity branch

Site ↗

bfo:Site — cavity / spatial region (wellbore, annulus). No DesignedFunction axiom.

LLM rationale: Primary source names TRANSMITTER directly as parent, and it is already enriched (exported); used as genus rather than the unenriched intermediate MEASURING INSTRUMENT / STANDARD SIGNAL SENDER hierarchy, matching the colleague's own suggestion to anchor to the existing 'transmitter' cluster.

▸ Expert review

3 Differentia Specifica not set ▼

Conditions that distinguish Process Variable Transmitter from sibling classes under genus Transmitter. Only what is not already entailed by the genus.

Differentia expression

Differentia (natural language)

LLM rationale: The source adds no condition expressible in OWL beyond Transmitter; the class is kept for data mapping as an asserted subclass.

▸ 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 structural component (e.g. a specific display type) is named verbatim in PROCESS VARIABLE TRANSMITTER's own definition or in the ISA-5.1 tag-abbreviation entries, which describe only the letter-code convention, not construction.

▸ Expert review

5 Process Participation Signature ⟨I, O, T⟩ ✓ done MeasurementInformationContentEntity → InformationContentEntity ▼

Inputs (I)

Outputs (O)

Transformation (T)

LLM rationale: Transmitters consistently transform physical process variables into standardized electrical, pneumatic, or digital signals suitable for transmission to control systems, displays, or data acquisition systems.

▸ Expert review

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 Process Variable 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 ▼

Full matrix

Click "Detect divergences" to analyse cross-standard disagreements for this cluster.

Source Definitions (1)

P&ID symbol for process variable transmitter

iso15926 2019 ↗

PROCESS VARIABLE TRANSMITTER — ClassOfFunctionalObject

Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.

Provenance tiers (6) secondary coverage: none

Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.

primary iso15926 PROCESS VARIABLE TRANSMITTER

standard · verbatim

function