Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
instrument
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The ISA definition defines instruments by their core function: 'measurement, monitoring, and/or control of a variable'. This is purely functional - any device that performs these measurement/control functions is an instrument, regardless of physical implementation (sensors, controllers, final control elements, electrical devices, etc. are all instruments because they serve these functions).
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
InstrumentationFunction → InstrumentationProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function encompasses measurement, monitoring, and control of process variables. This is the broadest instrumentation function that unifies all instrument types - from simple indicators to complex control systems. All instruments exist to participate in instrumentation processes.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
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:
No specific instrumentation genus exists in parent_candidates, so we use IOF-Core root directly. Instruments are typically causally unified artifacts with physically connected removable subcomponents (housings, sensing elements, electronics, displays, etc.) that can be assembled, disassembled and maintained as single units.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasFunction.InstrumentationFunction
▼
Conditions that distinguish
Instrument
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The ISA definition clearly states instruments are distinguished by their function to measure, monitor, and/or control variables. This functional differentia is both necessary (all instruments must have this capability) and sufficient (any assembly with this function is by definition an instrument).
▸
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 are the minimal universal parts - every instrument needs to sense variables and process those signals, though the implementation varies greatly across instrument types.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
MeasurementInformationContentEntity → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Instruments take measurable process variables as inputs and produce information signals as outputs, enabling measurement, monitoring, and control functions. The core transformation is transduction from physical phenomena to information.
▸
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 Instrument.
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 (1)
instrument — ISA Definition
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (1)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
Linked competency questions
- open What is a materialartifact?
- open Which classes have materialartifact as their genus? (candidates: instrument, strainer)
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 249 · claude-sonnet-4-20250514
Created 2026-05-02 20:11
Updated 2026-09-08 12:26
