Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
solenoid actuator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The concept is defined by its specific constructive mechanism — a solenoid-based linear actuator with plunger and axial stroke. While it is functionally an actuator, the solenoid mechanism distinguishes it from other actuator types (pneumatic, hydraulic, etc.).
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
⚠ not anchored
ActuationFunction → ActuationProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The solenoid actuator's primary identity-giving function is actuation — converting electrical energy into mechanical motion for operating other devices. The ActuationFunction already exists in the ontology and is co-extensional with the function this concept performs.
▸
Expert review
2
Genus Proximus
✓ done
ElectricActuator · Assembly
▼
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:
ISO 15926-4 explicitly states that SOLENOID ACTUATOR is an ELECTRIC ACTUATOR. This is the most specific appropriate superclass, already enriched in our ontology. It is more specific than the general 'actuator' class and correctly captures the electrical energy input characteristic.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.Solenoid ⊓ ∃hasComponentPartAtAllTimes.Plunger
▼
Conditions that distinguish
Solenoid Actuator
from sibling classes under genus
ElectricActuator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The solenoid coil and plunger are the essential constructive elements that distinguish this from other electric actuator types. The definition explicitly mentions 'utilizing a continuous duty linear solenoid' and 'plunger with an axial stroke' as the defining mechanism.
▸
Expert review
4
Necessary Parts
✓ done
None, None
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The ISO 15926-4 definition explicitly identifies solenoid and plunger as necessary components, but these specific terms are not available in the Known Component Terms list, so names cannot be assigned.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature reflects the fundamental electrical-to-mechanical energy conversion with linear output motion, distinguishing it from rotational electric motors or fluid-powered actuators.
▸
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 Solenoid Actuator.
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.
