Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
three way valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Identity is given by physical port topology (three flow connections instead of two), not by a distinguishing function -- a three-way valve still just controls flow, the same FlowControlFunction any Valve bears.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
FlowControlFunction → FlowControlProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
Constructive-basis type: per the method, Step 1 reuses the generic function of the broader genus (Valve bears FlowControlFunction) rather than inventing a distinguishing function, since the identity-giving trait here is structural (port count), not functional.
▸
Expert review
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
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
Primary source: 'A THREE WAY VALVE is a MULTI WAY VALVE that is made with three separate paths of flow'. MULTI WAY VALVE is the literal parent_candidate but is not itself enriched in the ontology; rather than introduce an unenriched intermediate genus for a single member, Valve (already enriched, exported) is used directly as genus, with the multi-way/three-way distinction carried entirely in the differentia. A future 'multi way valve' cluster could be enriched later as an intermediate genus if more multi-port subtypes are added.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.Port
▼
Conditions that distinguish
Three Way Valve
from sibling classes under genus
Valve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
KNOWN EXPRESSIVE LIMITATION (see docs/findings/expressive-limitation.md): the framework's ∃pred.Filler existential-restriction pattern does not support cardinality, so 'exactly three ports' cannot be stated formally; ∃hasComponentPartAtAllTimes.Port is the closest grounded existential available (tertiary evidence: 'This device features three distinct ports for fluid entry and exit.'). The real cardinality-sensitive distinction (an extra flow connection versus a standard two-port valve) is instead carried by the process participation signature in Step 5, following the same pattern already used for block and bleed valve (extra bleed output modeled at the signature level, not via a cardinality axiom).
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
No subtype-specific necessary part beyond the generic 'Port' referenced in the differentia is grounded verbatim for this term; asserting a specific closure mechanism would overreach, since three-way valves are built with multiple different closure types (ball, plug) per the gathered evidence.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Same fluid-control signature family as generic Valve; the extra participant (second inlet or second outlet, depending on service) is what formally distinguishes this class from a two-port valve, mirroring how block and bleed valve's extra bleed output is modeled at this level rather than via a part.
▸
Expert review
More
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
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Three Way 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
▼
Click "Detect divergences" to analyse cross-standard disagreements for this cluster.
Source Definitions (1)
THREE WAY VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (3)
secondary coverage: none
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
tertiary
instrumentationtools.com ↗
web glossary · verbatim
structureapplication
Quote hidden — sign in to view.
tertiary
engineerfix.com ↗
web glossary · verbatim
structureprofilemechanism
Quote hidden — sign in to view.
OWL/Turtle preview
Download .ttl
Numeric
COPI_* IRIs from copi-iri-map.tsv, with the readable name as a trailing comment. Names not yet in the map stay readable.
Loading...
ID 1115 · claude-sonnet-5
Created 2026-09-08 23:30
Updated 2026-09-10 19:19
Last edited by claude-code-session · 2026-09-10 22:19
