Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
pneumatic motor
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined by its primary function of converting compressed gas energy into mechanical energy (specifically rotational motion). While subtypes may have constructive differentia (reciprocating vs rotary mechanisms), the core identity is functional - any device that performs pneumatic-to-mechanical energy conversion is a pneumatic motor regardless of its internal mechanism.
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
PneumaticMotorFunction → PneumaticEnergyConversionProcess
▼
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 conversion of compressed gas energy (typically air) into mechanical energy. This is a specific subtype of mechanical energy generation that uses pneumatic power as the energy source, distinguishing it from electric motors, hydraulic motors, or combustion engines.
▸
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 genus 'motor' is the most specific appropriate superclass, as indicated in the parent candidates and already enriched in our ontology with function MechanicalEnergyGenerationFunction. This is more specific than 'Assembly' or 'MaterialArtifact' and captures the shared characteristic of all motors - mechanical energy generation. The ISO 15926 hierarchy also indicates AIR MOTOR as immediate parent, but 'motor' is the enriched genus available.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.PneumaticMotorFunction
▼
Conditions that distinguish
Pneumatic Motor
from sibling classes under genus
Motor.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific energy source (compressed gas) used for the mechanical energy generation function. This distinguishes pneumatic motors from other motor types while inheriting the general mechanical energy generation capability from the motor genus.
▸
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 represent the minimal necessary components for any pneumatic motor: gas input interface, containment structure, and mechanical output interface. Specific internal mechanisms (pistons, rotors, turbines) vary by subtype and should be modeled at subtype levels.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfGas → PortionOfGas
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Pneumatic motors consume compressed gas and convert its pressure energy into mechanical rotation, exhausting expanded gas at lower pressure. This signature distinguishes them from other motor types and enables compatibility reasoning.
▸
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 5 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Pneumatic Motor as
bfo:Quality subclasses.
Each selected property →
:PneumaticMotorQuality ⊑ bfo:Quality, inheres in :PneumaticMotor
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Pneumatic 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.
Source Definitions (3)
PNEUMATIC MOTOR — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
pneumatic motor — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Pneumatic Motor — 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.
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 212 · claude-sonnet-4-20250514
Created 2026-04-16 18:12
Updated 2026-09-08 12:26
