Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
solenoid valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: both
Solenoid valve combines functional classification (it's a valve that controls flow) with constructive classification (it uses a solenoid as the actuation mechanism). The functional parent is 'valve' with FlowControlFunction, and the constructive differentia is the solenoid actuator mechanism.
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:
A solenoid valve is fundamentally a valve - its identity-giving function is controlling fluid flow. The solenoid is the actuation mechanism, but the core function remains flow control. This aligns with the existing FlowControlFunction used for other valve types in the ontology.
▸
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:
From the parent candidates, 'Valve' is the most specific and appropriate genus. It is already enriched in our ontology with FlowControlFunction. 'ACTUATED VALVE' would be more specific but is not yet enriched and may be too restrictive for this fundamental level. The valve genus provides the flow control function foundation.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.SolenoidActuator ⊓ ∃bearerOf.ElectricalControlFunction
▼
Conditions that distinguish
Solenoid Valve
from sibling classes under genus
Valve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The solenoid actuator is the defining structural component that enables quick electrical operation. The electrical control capability distinguishes it from manually operated valves. These are minimal additional conditions beyond the inherited valve characteristics.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
SolenoidActuator
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts are universally required for solenoid valve operation: the solenoid provides electromagnetic actuation, electrical connections enable control, and the valve closure performs the flow control function.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid + InformationContentEntity → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Solenoid valves transform electrical control signals into mechanical valve positioning to control fluid flow. The electrical input distinguishes them from manually operated valves.
▸
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
0 of 35 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Solenoid Valve as
bfo:Quality subclasses.
Each selected property →
:SolenoidValveQuality ⊑ bfo:Quality, inheres in :SolenoidValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Solenoid 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 (3)
SOLENOID VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
solenoid valve — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Solenoid Valve — Class
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 What is the genus of a solenoid valve?
- open What is a electrical connection?
- open Is a electrical connection a necessary component of every solenoid valve?
- open What is a solenoid actuator?
- open Is a solenoid actuator a necessary component of every solenoid 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 83 · claude-sonnet-4-20250514
Created 2026-04-13 23:43
Updated 2026-09-08 12:26
