Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
hydraulic motor
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Identity is given by the specific energy conversion mechanism (hydraulic pressure to rotational mechanical energy) rather than by abstract function. While it has the generic function of mechanical energy generation like all motors, the hydraulic mechanism is the distinguishing characteristic.
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
MechanicalEnergyGenerationFunction → MechanicalEnergyGenerationProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The identity-giving function is the same as any motor - to generate mechanical energy. This function is already established in the enriched 'motor' class.
▸
Expert review
2
Genus Proximus
✓ done
Motor · 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 most specific appropriate superclass is 'motor' (already enriched with MechanicalEnergyGenerationFunction). All definitions consistently state this is 'a motor that...' The parent candidates include MOTOR from ISO15926, confirming this genus choice. Motor is more specific than Assembly or MaterialArtifact.
▸
Expert review
3
Differentia Specifica
✓ done
∃participatesIn.HydraulicToMechanicalEnergyConversionProcess
▼
Conditions that distinguish
Hydraulic Motor
from sibling classes under genus
Motor.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The hydraulic mechanism is the minimal differentiating condition. All definitions emphasize 'high pressure oil' as the energy source, which constitutes both the input medium and the conversion process type.
▸
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:
These parts define the essential hydraulic-to-mechanical energy conversion interface that every hydraulic motor must possess regardless of internal design variation.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
HydraulicFluid → HydraulicFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Hydraulic motors have a distinctive signature of hydraulic fluid input at high pressure, hydraulic fluid output at lower pressure, and rotational mechanical energy output. This differentiates them from other motor types.
▸
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 7 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Hydraulic Motor as
bfo:Quality subclasses.
Each selected property →
:HydraulicMotorQuality ⊑ bfo:Quality, inheres in :HydraulicMotor
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Hydraulic Motor.
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.