Butterfly Valve

Definition & axiom

Label (EN)

butterfly valve

Label (PT-BR)

Definition (EN)

Definition (PT-BR)

Semi-formal axiom (Aristotelian)

Axiom type

Necessary only (⊑) Necessary + sufficient (≡)

LLM classification basis: structure-based → ⊑

The definitions consistently focus on the physical mechanism: a disc-type closure member that rotates transverse to flow direction. This is a structural/kinematic differentia defining identity by physical configuration, not by functional role.

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: Butterfly valves share the generic valve function of controlling fluid flow. This is the identity-giving function inherited from the Valve genus, not a specialized function unique to butterfly valves.

▸ 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 classify butterfly valve as a subtype of valve (explicitly 'rotary valve' in ISO 15926, CFIHOS, and POSC Caesar). The Valve class is already enriched in our ontology with function FlowControlFunction and genus MaterialArtifact, making it the most specific appropriate superclass.

▸ Expert review — accepted

3 Differentia Specifica ✓ done ∃hasComponentPartAtAllTimes.DiscTypeClosure ⊓ ∃hasComponentPartAtAllTimes.TransverseRotationAxis ▼

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

Differentia expression

Differentia (natural language)

LLM rationale: The consistent defining characteristic across all sources is the disc-type closure member with transverse rotation axis. This is the minimal structural differentia that distinguishes butterfly valves from other valve subtypes under the same genus.

▸ Expert review — accepted

4 Necessary Parts ✓ done ButterflyValveClosureMember ▼

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

LLM rationale: These parts constitute the essential structural elements that enable the characteristic disc rotation mechanism of butterfly valves, beyond the basic valve body inherited from the genus.

▸ Expert review — accepted

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

Inputs (I)

Outputs (O)

Transformation (T)

LLM rationale: Same basic valve signature as genus - single fluid stream with controllable flow rate through rotational positioning of the disc closure.

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