Plug Valve

Definition & axiom

Label (EN)

plug valve

Label (PT-BR)

Definition (EN)

Definition (PT-BR)

Semi-formal axiom (Aristotelian)

Axiom type

Necessary only (⊑) Necessary + sufficient (≡)

LLM classification basis: structure-based → ⊑

Plug valve is primarily defined by its physical mechanism - a cylindrical or tapered plug that rotates to control flow. Multiple sources consistently emphasize the structural differentia (plug closure member, quarter-turn rotation) rather than a unique function that distinguishes it from other valve types functionally.

Validation status

Why primitive (necessary only)

Reviewer notes

FOL theory & disjointness

First-order logic theory (generated)

                                  Loading…
                                

Disjoint with

▸ Expert review — accepted

Axiomatization steps

1 Identity-Giving Function ✓ done FlowControlFunction → FlowControlProcess ⊑ FlowControl ▼

Function Class

Parent ↗ IOF-Core

Process Class

Process Parent ↗ IOF-Core

COPI-Core operation FlowControl via process parent FlowControl

LLM rationale: Plug valves share the same identity-giving function as other valves - controlling fluid flow. This function is already established in our ontology for the Valve class. The plug valve's identity comes from HOW it realizes this function (via rotating plug mechanism), not from a unique function type.

▸ Expert review — accepted

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

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: All sources clearly identify plug valve as a subtype of valve. 'Valve' is the most specific appropriate superclass and is already enriched in our ontology. The parent candidates include 'ROTARY VALVE' but this is a more specific structural category that should itself be a subtype of Valve. The BFO root is MaterialArtifact since valves are causally unified artifacts designed for fluid control.

▸ Expert review — accepted

3 Differentia Specifica ✓ done ∃hasComponentPartAtAllTimes.PlugClosure ⊓ ∃participatesIn.QuarterTurnRotationProcess ▼

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

Differentia expression

Differentia (natural language)

LLM rationale: The differentia captures the two key structural characteristics consistently mentioned across sources: (1) the plug-shaped closure member and (2) the quarter-turn rotational operation. These are the minimal conditions that distinguish plug valves from other valve types under the same genus.

▸ Expert review — accepted

4 Necessary Parts ✓ done ValveSeat ▼

Consider part-whole relations beyond subsumption: hasComponentPartAtAllTimes (universal, structurally essential) · hasComponentPartAtSomeTime (contingent, optional component)

LLM rationale: These parts represent the minimum physical components necessary for any plug valve to function according to its defining mechanism across all sources.

▸ Expert review — accepted

5 Process Participation Signature ⟨I, O, T⟩ ✓ done PortionOfFluid → PortionOfFluid ▼

Inputs (I)

Outputs (O)

Transformation (T)

LLM rationale: Plug valves have the standard valve signature: single fluid input/output with mechanical flow control transformation. The plug mechanism affects flow control but not the fundamental process signature.

▸ 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).

Custom axioms none ▼

Axioms not produced by the pipeline. Each is appended verbatim as an rdfs:subClassOf restriction on Plug Valve.

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 (5)