Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
compressor casing
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The identity of a compressor casing is defined by its structural role as an enclosure that houses specific compressor internals (shaft, impellers), not by a unique function beyond the generic enclosure function of any casing.
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
⚠ not anchored
EnclosureFunction → EnclosureProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
A compressor casing shares the same identity-giving function as other casings - it provides enclosure. The definition shows it is 'the typical enclosure for compressors' which indicates its identity is structural (housing shaft and impellers) rather than functionally distinct from other enclosures.
▸
Expert review
2
Genus Proximus
✓ done
Casing · 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 ISO 15926 definition explicitly states 'A COMPRESSOR CASING is a CASING', making Casing the direct genus. Casing is already enriched in our ontology with EnclosureFunction and Assembly as its BFO root. This follows the genus proximum principle of using the most specific appropriate superclass.
▸
Expert review
3
Differentia Specifica
✓ done
∃intendedForUseWith.Compressor
▼
Conditions that distinguish
Compressor Casing
from sibling classes under genus
Casing.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures that this casing is specifically designed for compressor applications. The definition emphasizes 'housing the shaft with impeller(s) and other compressor internals' which distinguishes it from other casing types by its intended mechanical context.
▸
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:
The source definition does not specify particular structural parts that are universal to all compressor casings. While it mentions that the casing houses 'shaft with impeller(s) and other compressor internals', these are the contents of the casing, not parts of the casing itself. No component terms are provided in the known component terms list, and the definition does not detail the casing's own structural components.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
⚠ 1 not in vocab
CompressorInternals → CompressorInternals
▼
⚠ Participant type(s) not in COPI vocabulary
CompressorInternals
Participant types are hand-authored in
copi-vocab, not produced by the pipeline.
Replace each with an existing vocab type, redirect it to a BFO / IOF-Core class in copi-iri-map.tsv,
or add it to copi-vocab.ttl first.
This entry cannot be saved as validated until then.
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature reflects the casing's role in passively containing and protecting compressor internals. The transformation is purely structural containment without altering the functional state of the internals.
▸
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 Compressor Casing.
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)
COMPRESSOR CASING — ClassOfInanimatePhysicalObject
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 compressor casing?
- open Is a compressor casing a necessary component of every compressor?
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 408 · claude-sonnet-4-20250514
Created 2026-05-04 18:27
Updated 2026-09-08 12:26
