Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
flame detector
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The identity of a flame detector is given entirely by its designed function to detect the presence of flames. While different sensing principles (infrared, ultraviolet, ionization) exist as constructive subtypes, the core identity is functional - any device designed to detect flames is a flame detector regardless of its physical mechanism.
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
FlameDetectionFunction → FlameDetectionProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent DetectionProcess
LLM rationale:
The identity-giving function is the detection of flames specifically. This is a specialization of the generic DetectionFunction already established for the Detector class, focusing on flame presence as the detected phenomenon.
▸
Expert review
2
Genus Proximus
✓ done
Detector · 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:
All source definitions explicitly state that flame detector is a type of detector. The Detector class is already enriched in our ontology with DetectionFunction and Assembly genus, making it the most specific appropriate superclass.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.FlameDetectionFunction
▼
Conditions that distinguish
Flame Detector
from sibling classes under genus
Detector.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The minimal differentiating condition is the specific FlameDetectionFunction, which is a subtype of the DetectionFunction already provided by the Detector genus. This distinguishes flame detectors from all other detection devices by the specific phenomenon they are designed to detect.
▸
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:
These are the essential components that every flame detector must possess - a specialized sensing element for flame detection and signal processing capability. The housing and other mechanical parts are inherited from the Detector genus.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Flame detectors receive electromagnetic radiation characteristic of flames and convert this to electrical signals indicating detection status. The specific wavelengths depend on the sensing principle but all involve electromagnetic radiation from combustion processes.
▸
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 16 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Flame Detector as
bfo:Quality subclasses.
Each selected property →
:FlameDetectorQuality ⊑ bfo:Quality, inheres in :FlameDetector
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Flame 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 (3)
FLAME DETECTOR — ClassOfFunctionalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
flame detector — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Flame Detector — Class
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (3)
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 195 · claude-sonnet-4-20250514
Created 2026-04-16 18:12
Updated 2026-09-08 12:26
