Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
angle valve body
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The angle valve body is defined by its physical geometry - specifically the angular configuration of its inlet and outlet axes. The subtypes in ISO 15926-4 all refer to structural variants (elbow down, straight, various end connection types) rather than functional differences. While it is part of a valve assembly that has flow control function, the angle valve body itself is characterized by its L-shaped or angled internal flow path geometry.
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:
As a valve body component, the angle valve body inherits the generic flow control function of valve assemblies. The function is not specific to the angled geometry - it is the general valve function that any valve body (straight, angled, or other configuration) must support.
▸
Expert review
2
Genus Proximus
✓ done
ValveBody · 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:
The ISO 15926-4 definition explicitly states that an angle valve body is a valve body. ValveBody is the most specific appropriate genus, representing the structural housing component of valve assemblies. While ValveBody is not yet enriched in our ontology, it is the obvious immediate parent class. The BFO root is Assembly because valve bodies are manufactured artifacts with removable subcomponents (end connections, internal flow passages) that form a causally unified whole.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasGeometry.AngularFlowPath
▼
Conditions that distinguish
Angle Valve Body
from sibling classes under genus
ValveBody.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the essential geometric characteristic that distinguishes angle valve bodies from other valve body types. The angular flow path geometry is what makes an angle valve body an angle valve body, as evidenced by the subtypes that specify different angular configurations (elbow down, straight angle).
▸
Expert review
4
Necessary Parts
✓ done
None
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The provided component terms are all subtypes of angle valve body rather than parts of an angle valve body. The essential geometric flow passage that creates the angular configuration is necessary but cannot be specifically named from the available sources.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature reflects the geometric transformation of flow direction through the angular internal path. The fluid itself is not chemically or physically altered - only its flow direction is changed from the inlet axis orientation to the outlet axis orientation.
▸
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 Body.
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)
ANGLE VALVE BODY — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (1)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
Linked competency questions
- 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 416 · claude-sonnet-4-20250514
Created 2026-05-04 18:27
Updated 2026-09-08 12:26
