Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
angle valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Identity is defined by geometric configuration of ports (non-in-line arrangement at various angles) rather than by a distinct function. Angle valves have the same general flow control function as any valve, but are distinguished by their angular port arrangement.
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
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
Angle valves share the same identity-giving function as other valves - controlling fluid flow. The angle configuration is a structural differentia, not a functional one.
▸
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
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
Valve is explicitly listed as a parent in the source hierarchies and is already enriched in our ontology. This is the most specific appropriate superclass - angle valve is clearly a subtype of valve distinguished by port geometry.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasPart.NonInlinePortArrangement
▼
Conditions that distinguish
Angle Valve
from sibling classes under genus
Valve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The key differentiating feature is the non-inline port arrangement. This is what distinguishes angle valves from other valve types that maintain inline port geometry even when they redirect flow internally.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
AngleValveBody
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The angle valve body with its non-inline port configuration is the essential distinguishing part. The flow control element is inherited from the valve genus.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Same process signature as standard valves - single fluid input/output with flow control capability, but with angular flow redirection due to port geometry.
▸
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 Angle 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 (2)
ANGLE VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
angle valve
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (3)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
Linked competency questions
- answered What are all the subclasses of Valve recognised in COPI?
- answered Which equipment classes in COPI use necessary-only (primitive) conditions?
- open What is a angle valve body?
- open Is a angle valve body a necessary component of every angle valve?
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 157 · claude-sonnet-4-20250514
Created 2026-04-16 11:49
Updated 2026-09-09 10:32
