Gate Valve

Definition & axiom

Label (EN)

gate valve

Label (PT-BR)

Definition (EN)

Definition (PT-BR)

Semi-formal axiom (Aristotelian)

Axiom type

Necessary only (⊑) Necessary + sufficient (≡)

LLM classification basis: structure-based → ⊑

Gate valve is defined by its physical mechanism: a gate or disc closure member that moves linearly parallel to the seat plane, perpendicular to flow direction. While it shares the generic FlowControlFunction with all valves, its identity is given by this specific sliding gate mechanism, not by a unique function subtype.

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: Gate valves share the same identity-giving function as other valves - controlling fluid flow. The function FlowControlFunction is already established in the enriched valve class. Gate valves do not have a distinct function subtype; their identity comes from their structural mechanism.

▸ 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 source definitions explicitly state that gate valve 'is a valve'. The parent_candidates include VALVE from iso15926, and Valve is already enriched in our ontology with function FlowControlFunction and genus MaterialArtifact. This is the most specific appropriate superclass.

▸ Expert review — accepted

3 Differentia Specifica ✓ done ∃hasComponentPartAtAllTimes.GateClosure ⊓ ∃hasComponentPartAtAllTimes.LinearActuationMechanism ▼

Conditions that distinguish Gate 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 defining structural characteristics: the gate closure member and its linear motion mechanism. This distinguishes gate valves from all other valve types which use different closure mechanisms (rotating ball, butterfly disc, needle, etc.).

▸ 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 define the essential structural components that make a gate valve function with its characteristic linear sliding motion. The gate closure and linear actuation mechanism are unique to gate valves, while seats are common to valves but have specific geometric requirements for gate valve operation.

▸ Expert review — accepted

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

Inputs (I)

Outputs (O)

Transformation (T)

LLM rationale: Gate valves typically operate as on/off devices (fully open or fully closed as noted in onepetro definition) but can provide flow control through gate positioning. Single inlet/outlet with mechanical flow control transformation.

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