Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
indicator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined by its designed function to display, show, or indicate values/status/conditions. While structural implementations vary (analog dials, digital displays, chemical color changes), the core identity is the IndicationFunction that converts measured variables or conditions into human-readable form.
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
IndicationFunction → IndicationProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is the capability to make information visible or perceptible to operators - converting process variables, conditions, or states into human-readable form. This unifies all indicator types from mechanical gauges to digital displays to chemical color changes.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Instrument · 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:
From the parent_candidates, both INSTRUMENTATION FUNCTION and Instrumentation And Control Equipment suggest an instrumentation context. The enriched classes show many indicators as subtypes of 'Instrument' (flow indicator, limit switch, transmitter all use Instrument as genus). Instrument is the most specific appropriate superclass that captures the measurement/indication domain, though it is not yet enriched in our system.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.IndicationFunction
▼
Conditions that distinguish
Indicator
from sibling classes under genus
Instrument.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The minimal differentia is the IndicationFunction - the capability to make process information visible/perceptible to operators. This distinguishes indicators from transmitters (which send signals), controllers (which manipulate), and sensors (which detect but may not display).
▸
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:
The only universal necessary part is some form of Display component that makes the indicated information perceptible to operators. Other parts (sensing elements, signal conditioning, housings) vary significantly across subtypes and implementation methods.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
InformationContentEntity → VisualIndication
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Indicators transform process information (electrical signals, physical properties, chemical states) into human-perceptible visual displays. The signature is broad to accommodate diverse implementations from mechanical gauges to digital displays to chemical color changes.
▸
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 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.
