Check Valve

Definition & axiom

Label (EN)

check valve

Label (PT-BR)

Definition (EN)

Definition (PT-BR)

Semi-formal axiom (Aristotelian)

Axiom type

Necessary only (⊑) Necessary + sufficient (≡)

LLM classification basis: function-based → ≡

Check valves are defined entirely by their function - preventing reverse fluid flow and allowing unidirectional flow. This functional identity holds regardless of the physical mechanism (swing disc, lift piston, ball, plate, etc.). The numerous constructive subtypes all share this same functional identity.

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 preventing fluid from flowing in the reverse direction while allowing forward flow. This is consistently stated across all sources as 'permits fluid to flow in one direction only' - this unidirectional flow control by automatic backflow prevention is what makes a check valve distinct from other valve types.

▸ 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: Check valve is explicitly defined as a subtype of valve in all sources. The genus 'Valve' is already enriched in our ontology with FlowControlFunction and MaterialArtifact classification. Check valves inherit the basic valve characteristics but specialize the flow control function to automatic backflow prevention.

▸ Expert review — accepted

3 Differentia Specifica ✓ done ∃bearerOf.BackflowPreventionFunction ▼

Conditions that distinguish Check 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 is the specific BackflowPreventionFunction which is a specialization of the inherited FlowControlFunction. This automatic, direction-sensitive operation distinguishes check valves from all other valve types that require manual or external actuation.

▸ Expert review — accepted

4 Necessary Parts ✓ done no necessary parts ▼

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

LLM rationale: These are the minimal universal parts required for any check valve to function - a body for fluid path, a closure member for flow control, and a seat for sealing. Specific mechanisms (hinges, springs, guides) vary by subtype.

▸ Expert review — accepted

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

Inputs (I)

Outputs (O)

Transformation (T)

LLM rationale: Check valves are passive flow control devices that allow flow in one direction based on pressure differential, with no transformation of the fluid itself, only control of flow direction.

▸ 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 0 of 7 selected ▼

Select which CFIHOS/DEXPI properties inhere in every instance of Check Valve as bfo:Quality subclasses.

design specification Text

A specification according to which an item is intended to be designed

failure action Text

The position to which the valve closure member moves when the actuating energy source fails

fluid name Text

The name of the product in liquid or gas phase.

nominal diameter millimetre Number

A diameter which is an expected (theoretical/as designed) diameter.

normal operating pressure bar gauge Number

A pressure at which a functional or physical object is expected to operate normally.

normal operating temperature degree celsius Number

A temperature at which a functional or physical object is expected to operate normally.

piping class Text

A specification defined by specified circumstances in which piping components may be applied.

Each selected property → :CheckValveQuality ⊑ bfo:Quality, inheres in :CheckValve

Custom axioms none ▼

Axioms not produced by the pipeline. Each is appended verbatim as an rdfs:subClassOf restriction on 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 (5)