Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
quick acting valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
ISO 15926-4 grounds identity in design intent ('designed to act quickly'), a capacity/function-oriented criterion rather than a named physical mechanism. This matches the existing ontology's precedent for 'Rapid*Function' naming: blow down valve is genus=Valve, function=RapidDepressurizationFunction, axiom_mode='equivalent'. Tertiary evidence (quarter-turn valve family: ball/plug/butterfly) explains one common way the function is physically realized, but is not itself asserted as a structural condition here, since it describes a related term rather than a verbatim structural claim about 'quick acting valve' itself.
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
RapidActuationFunction → RapidActuationProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
The identity-giving trait stated by the primary source is the design intent for speed of actuation itself ('designed to act quickly'), not a specific mechanism. FlowControlFunction (borne by the genus Valve) is the genuine supertype every valve function specializes; RapidActuationFunction narrows it by an actuation-speed criterion, following the same pattern as the already-enriched RapidDepressurizationFunction (blow down valve).
▸
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:
parent_candidates lists ARTEFACT and VALVE (already enriched, genus_bfo_root=MaterialArtifact); VALVE is the most specific genuine supertype and matches the primary definition verbatim ('is an ARTEFACT and a VALVE that is designed to act quickly').
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.RapidActuationFunction
▼
Conditions that distinguish
Quick Acting Valve
from sibling classes under genus
Valve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
Minimal functional addition beyond the generic Valve's FlowControlFunction. No structural condition is added because the primary source states this purely as a design-intent/functional criterion, and no source available names a specific mechanism as part of the definition of THIS term.
▸
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 necessary parts are asserted. Tertiary evidence associates fast actuation with the quarter-turn/part-turn mechanism family (ball, plug, butterfly closures) as an empirical engineering correlation, but ISO 15926-4's own definition of QUICK ACTING VALVE names no component, and the tertiary sources describe the general 'quarter-turn valve' concept by name, not 'quick acting valve' -- asserting a specific closure mechanism as a necessary part here would overreach beyond what is grounded for this exact term.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Same fluid-control signature as generic Valve and its already-enriched siblings (manual valve, self-operating valve) which also reuse 'flow_regulation' despite differing in actuation mechanism/source -- actuation speed does not change the ontological nature of the transformation, only its temporal profile.
▸
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 Quick Acting 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.