Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
pump casing
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Identity is given by the physical structure - a single wall surrounding the impeller with integral suction and discharge nozzles. While it serves a containment function, the distinguishing characteristic is its specific mechanical configuration relative to centrifugal pump geometry, not its functional role which is generic to all casings.
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:
Reusing the EnclosureFunction already identified for the parent class 'casing'. A pump casing shares the same fundamental function as any casing - providing protective enclosure - with the specialization being structural/geometric rather than functional.
▸
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:
From the parent_candidates, 'casing' is listed as already enriched in our ontology. The definition explicitly states 'A <PUMP CASING> is a <CASING>', making this the most specific appropriate superclass. Casing is more specific than Assembly and captures the containment/enclosure role that distinguishes casings from other assemblies.
▸
Expert review
3
Differentia Specifica
✓ done
∃surrounds.Impeller ⊓ ∃hasComponentPartAtAllTimes.SuctionNozzle ⊓ ∃hasComponentPartAtAllTimes.DischargeNozzle
▼
Conditions that distinguish
Pump 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 the three key structural characteristics: (1) spatial relationship to impeller, (2) integral suction nozzle, (3) integral discharge nozzle. The 'single wall' aspect is implicit in the casing genus. These conditions are both necessary and distinguishing from other casing types.
▸
Expert review
4
Necessary Parts
✓ done
SuctionNozzle
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The definition explicitly states that suction and discharge nozzles 'form an integral part of the casing', making them necessary components. However, neither SuctionNozzle nor DischargeNozzle appear in the Known Component Terms list, so names are set to null per the naming constraint.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
As a structural component, the pump casing does not directly participate in fluid transformation processes. Its process signature is empty because it provides passive containment rather than active transformation. The transformation describes its structural role in enabling the pump's operation through containment and flow guidance.
▸
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 Pump 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)
PUMP 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 pump casing?
- open Is a pump casing a necessary component of every pump?
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 389 · claude-sonnet-4-20250514
Created 2026-05-04 18:27
Updated 2026-09-08 17:36
