Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
casing
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Casings are primarily defined by their physical configuration as enclosures that provide pressure barriers and protection. While they serve containment/protection functions, their identity is more strongly tied to their structural role as the outer shell or housing of equipment/systems rather than to a specific designed function. Different applications (pump casing, compressor casing, well casing) share the same basic enclosure configuration but serve different contexts.
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:
All casings share the basic function of providing an enclosure - creating a protective boundary that separates internal components/fluids from the external environment. This is the common identity-giving function across pump casings, compressor casings, battery casings, and well casings.
▸
Expert review
2
Genus Proximus
✓ done
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:
Casings are typically assemblies with multiple connected components (covers, gaskets, connection points, internal features) that form a single causally unified enclosure. The parent candidates 'ENCLOSURE' and 'ARTEFACT' from ISO 15926 are too abstract. No domain-specific casing superclass exists in the enriched list, so Assembly is the most appropriate BFO/IOF-Core root.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.EnclosureFunction ⊓ ∃hasPart.CasingWall
▼
Conditions that distinguish
Casing
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The pressure containment capability distinguishes casings from general housings or covers. The CasingWall component represents the essential structural element that provides the enclosure boundary. These conditions are minimal and discriminating.
▸
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 casing wall is the fundamental structural component that defines the enclosure. Connection points are common but not universal (some casings are permanently sealed).
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
⚠ 1 not in vocab
PortionOfFluid + MaterialComponent → MaterialComponent
▼
⚠ Participant type(s) not in COPI vocabulary
MaterialComponent(already published — grandfathered)
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.
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Casings create protected internal volumes for equipment internals and may contain various fluids. The transformation is spatial/protective rather than material processing.
▸
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 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.
