Drum

← Dashboard ‹ 58/314 ›

validated ⋯ Quality

COPI_0000794

Definition & axiom

⚠ Conflicts with the ISO 15926-4 primary definition

Label (EN)

drum

Label (PT-BR)

Definition (EN)

Definition (PT-BR)

Semi-formal axiom (Aristotelian)

Axiom type

Necessary only (⊑) Necessary + sufficient (≡)

LLM classification basis: function-based → ≡

POSC Caesar individuates Drum by intended function: 'A vessel intended to enable gasses to escape from process fluids.' No structural condition is stated. The ISO 15926-4 DRUM definition ('a CONTAINER with a CYLINDER(shape) shape, used for shipping bulk cargo') is a homonym (shipping container) and is excluded from this cluster.

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 GasDisengagementFunction → GasDisengagementProcess ⊑ MechanicalSeparation ▼

Function Class

Parent ↗ IOF-Core

Process Class

Process Parent ↗ IOF-Core

COPI-Core operation MechanicalSeparation via process parent MechanicalSeparation

LLM rationale: Subtype case: every realisation of enabling gas to escape from process fluids is a separation, but not every separation (filtration, liquid-liquid settling, centrifugation) is gas disengagement, so SeparationFunction (enriched) is the parent. DegassingFunction (degasser) was considered and rejected as not co-extensional: its enrichment restricts the input to drilling fluid. KnockOutSeparationFunction (knock out drum) and FlashVaporizationFunction (flash drum) are narrower and are candidates to be re-parented under GasDisengagementFunction.

▸ Expert review

2 Genus Proximus ✓ done Separator · 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

Assembly ↗

Disassemblable unit (pump, compressor, HX)

MaterialArtifact ↗

Monolithic artefact (valve, pipe, sensor)

Object ↗

bfo:Object — when neither Assembly nor MaterialArtifact fits

FiatObjectPart ↗

Fiat part (well interval, pipe segment)

bfo:ObjectAggregate branch

EngineeredSystem ↗

Deliberate system of interacting objects (train, package)

ObjectAggregate ↗

bfo:ObjectAggregate — when EngineeredSystem is too specific

bfo:ImmaterialEntity branch

Site ↗

bfo:Site — cavity / spatial region (wellbore, annulus). No DesignedFunction axiom.

LLM rationale: POSC Caesar states the genus as 'vessel' (source parent: Static Equipment). Separator (enriched, genus Vessel) is the more specific genuine supertype: a vessel intended to let gas escape from process fluids separates gas from liquid. It is also the genus already used by the drum subtypes knock out drum and flash drum. ISO 15926-4 parents CONTAINER / CYLINDER(shape) belong to the excluded shipping-drum homonym.

▸ Expert review

3 Differentia Specifica ✓ done ∃bearerOf.GasDisengagementFunction ▼

Conditions that distinguish Drum from sibling classes under genus Separator. Only what is not already entailed by the genus.

Differentia expression

Differentia (natural language)

LLM rationale: The only condition POSC Caesar states beyond 'vessel' is the gas-escape function, so the differentia is the function subtype. No structural differentia (orientation, heads, boot, mist eliminator) is stated as genus-wide by any source.

▸ 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: No component is stated in the primary definition. Secondary/tertiary evidence names parts (a 'boot' in reflux drums, flat or curved ends) only for some drums, so none is necessary genus-wide.

▸ Expert review

5 Process Participation Signature ⟨I, O, T⟩ ✓ done FluidMixture → PortionOfGas + PortionOfLiquid ▼

Inputs (I)

Outputs (O)

Transformation (T)

LLM rationale: One mixed-phase input, two outputs (gas and liquid), consistent with the genus Separator and with the subtypes knock out drum and flash drum.

▸ Expert review

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 Drum.

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 ▼

Full matrix

Click "Detect divergences" to analyse cross-standard disagreements for this cluster.

Source Definitions (1)

posc_caesar ↗

Drum — Class

Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.

1 excluded definition(s)

iso15926 2019

DRUM

Provenance tiers (6) secondary coverage: full

Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.

primary posc_caesar Drum

standard · verbatim

function