Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
humidity analyser
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined purely by its measurement function - 'measure and indicate and/or produce a signal which represents the measured humidity'. The physical implementation (optical, electrical, mechanical sensors) can vary while preserving the essential identity as a humidity analyzer.
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
HumidityMeasurementFunction → HumidityMeasurementProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is to measure humidity content in a process stream or environment. This is a specialized measurement function that determines the water vapor content in gases or the moisture content in materials, which is distinct from other measurement functions like temperature or pressure measurement.
▸
Expert review
2
Genus Proximus
✓ done
Instrument · 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:
A humidity analyser is a specialized process analyzer that measures humidity rather than other chemical properties. The parent candidate 'analysing instrument' suggests this is part of the analyzer family. ProcessAnalyzer is the appropriate genus as it captures instruments that analyze process parameters for control and monitoring purposes. Since ProcessAnalyzer is not in the enriched list, genus_enriched=false.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasFunction.HumidityMeasurementFunction
▼
Conditions that distinguish
Humidity Analyser
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 measurement of humidity/moisture content. This distinguishes it from other process analyzers that measure different parameters like chemical composition, density, or other physical properties.
▸
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 parts are essential for any humidity measurement device - a sensing element, signal processing capability, and protective housing are universal requirements regardless of the specific sensing technology employed.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → MeasurementInformationContentEntity + VisualIndication
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The analyzer takes a fluid sample (typically gas/air) as input and transforms the humidity content into a measurement signal and/or visual indication through physical transduction principles.
▸
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 12 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Humidity Analyser as
bfo:Quality subclasses.
Each selected property →
:HumidityAnalyserQuality ⊑ bfo:Quality, inheres in :HumidityAnalyser
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Humidity Analyser.
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.