Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
manual actuator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The definition indicates that identity is given by the mode of actuation (manual triggering), not by physical structure. The functional distinction is that manual actuation requires direct human operation, contrasting with electric, pneumatic, or hydraulic actuation.
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 actuator class already exists with ActuationFunction. Manual actuator is a subtype of actuator distinguished by the mode of control input (manual vs. automated), but shares the same core function of converting input to mechanical actuation. Reusing the existing ActuationFunction maintains consistency.
▸
Expert review
2
Genus Proximus
✓ done
Actuator · 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:
The definition explicitly states 'an <ACTUATOR>' making actuator the direct genus. The parent_candidates list includes ACTUATOR which is already enriched in our ontology as genus Assembly. This is the most specific appropriate superclass.
▸
Expert review
3
Differentia Specifica
✓ done
∃participatesIn.ActuationProcess
▼
Conditions that distinguish
Manual Actuator
from sibling classes under genus
Actuator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The key differentiating characteristic is that the actuation 'has to be trigged manually' as stated in the definition. This contrasts with automated actuators that respond to electrical, pneumatic, or hydraulic control signals.
▸
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 specific component terms are provided in the source standards for manual actuator. The source definition focuses on the functional characteristic (manual triggering) rather than structural components. While manual actuators would have mechanical parts like handles, levers, or wheels, these are not specified in the available definition or component terms list.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
ControlSignal → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Manual actuators transform human physical input into mechanical output. The signature distinguishes manual actuators from automated actuators by the nature of the input signal - direct human operation rather than electrical, pneumatic, or hydraulic signals.
▸
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 Manual 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.
