Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
chromatograph
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Chromatograph identity is defined by its analytical function of determining molecular composition through chromatographic separation, not by specific physical configuration. Multiple constructive implementations exist (gas chromatograph, liquid chromatograph) that all realize the same core chromatographic analysis function.
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
ChromatographicAnalysisFunction → ChromatographicAnalysisProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is chromatographic analysis - the separation and analysis of molecular constituents using chromatographic principles. This distinguishes chromatographs from other analytical instruments that use different measurement principles (spectroscopy, electrochemical, etc.).
▸
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:
Both ISO 15926 and CFIHOS define chromatograph as a subtype of process analyzer/analysing instrument. This is the most specific appropriate superclass - chromatographs are specialized analytical instruments designed for process monitoring and composition analysis, not general-purpose laboratory instruments.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ChromatographicAnalysisFunction
▼
Conditions that distinguish
Chromatograph
from sibling classes under genus
Instrument.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific analytical method - chromatographic separation. This distinguishes chromatographs from other process analyzers that use different measurement principles while inheriting the general analytical function from the genus.
▸
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 four components define the essential chromatographic system architecture - sample introduction, mobile phase transport, selective separation, and component detection.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid + CarrierFluid → CompositionMeasurementResult + CompositionMeasurementResult
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Chromatographs transform chemical sample inputs into analytical data outputs through the characteristic separation-detection sequence that defines chromatographic analysis.
▸
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 Chromatograph.
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.
