Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
detector
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined across all sources by its primary function of detecting various phenomena (pressure, temperature, substances, etc.) and producing signals based on detection. While detectors have sensing elements (structural components), their identity is fundamentally given by the DetectionFunction they are designed to realize, not by specific physical mechanisms.
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
DetectionFunction → DetectionProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
Detection is the identity-giving function across all sources - the capability to sense/detect states, substances, or phenomena and produce signals based on this detection. This distinguishes detectors from other instrumentation that may measure, indicate, transmit, or control.
▸
Expert review
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:
The parent candidates show 'instrument equipment' (CFIHOS) and 'INSTRUMENTATION FUNCTION' (ISO 15926). While 'Instrument' is not explicitly in the already-enriched list, multiple enriched transmitters and indicators reference 'Instrument' as their genus. Detectors are clearly instrumentation devices - assemblies with sensing elements and signal generation capabilities, fitting the Assembly branch as causally unified artifacts.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.DetectionFunction
▼
Conditions that distinguish
Detector
from sibling classes under genus
Instrument.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
DetectionFunction is the minimal differentia that distinguishes detectors from other instruments. It captures the core capability mentioned across all sources - the ability to detect and respond to specific phenomena by producing signals.
▸
Expert review
4
Necessary Parts
✓ done
SensingElement
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts reflect the two-stage nature of detection described across sources: sensing/detection of phenomena, and signal generation based on that detection.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Detectors transform physical phenomena (pressure, temperature, gas presence, etc.) into electrical signals that can be processed by control systems or other instrumentation.
▸
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 Detector.
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)
DETECTOR — ClassOfFunctionalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
detector — AbstractTagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
detector
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
detector — ISA Definition
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.
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 134 · claude-sonnet-4-20250514
Created 2026-04-15 22:05
Updated 2026-09-08 14:53
