Swing Check Valve

Definition & axiom

Label (EN)

swing check valve

Label (PT-BR)

Definition (EN)

Definition (PT-BR)

Semi-formal axiom (Aristotelian)

Axiom type

Necessary only (⊑) Necessary + sufficient (≡)

LLM classification basis: structure-based → ⊑

This concept is defined primarily by its physical mechanism - a disc that swings freely on a hinge. While it inherits the functional identity from check valve (backflow prevention), its distinguishing characteristic is the specific structural implementation of the closure mechanism.

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 BackflowPreventionFunction → BackflowPreventionProcess ⊑ FlowControl ▼

Function Class

Parent ↗ IOF-Core

Process Class

Process Parent ↗ IOF-Core

COPI-Core operation FlowControl via process parent FlowControl

LLM rationale: The identity-giving function is inherited from check valve - preventing reverse flow. This is the same function as already enriched check valve class, so reusing the exact function name.

▸ Expert review — accepted

2 Genus Proximus ✓ done CheckValve · 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: Check valve is the most specific appropriate superclass, already enriched in our ontology with BackflowPreventionFunction. Swing check valve is a structural subtype of check valve, distinguished by its hinged disc mechanism. The parent_candidates list includes CHECK VALVE from iso15926, confirming this genus selection.

▸ Expert review — accepted

3 Differentia Specifica ✓ done ∃hasComponentPartAtAllTimes.HingedDisc ⊓ ∃hasComponentPartAtAllTimes.SwingArm ▼

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

Differentia expression

Differentia (natural language)

LLM rationale: The differentia captures the essential structural elements that distinguish swing check valves from other check valve types: the hinged disc that swings freely. This mechanism enables automatic opening/closing based on flow direction through gravitational and flow forces acting on the disc.

▸ Expert review — accepted

4 Necessary Parts ✓ done SwingCheckValveBody ▼

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

LLM rationale: These parts are structurally necessary for the swing check mechanism to function. The hinged disc and swing arm constitute the core differentiating mechanism, while the valve seat is required for sealing.

▸ Expert review — accepted

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

Inputs (I)

Outputs (O)

Transformation (T)

LLM rationale: Single inlet/outlet with automatic closure mechanism that prevents reverse flow while allowing forward flow. The transformation is purely directional control without changing fluid properties.

▸ 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 Swing Check 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 (4)

iso15926 2019 ↗

SWING CHECK VALVE — ClassOfInanimatePhysicalObject

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

cfihos V2.0

swing check valve — TagAndEquipmentClass

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

slb_glossary ↗

swing check valve

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

posc_caesar ↗

Swing Check Valve — Class

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

Provenance tiers (5)

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

primary iso15926 SWING CHECK VALVE

standard · verbatim