Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
shear ram
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The shear ram is primarily defined by its specific designed function to cut/shear pipe during blowout prevention operations. While it has a structural mechanism (chisel-like/hardened steel blades), its identity is given by the pipe cutting function that distinguishes it from other BOP ram types.
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
PipeShearingFunction → PipeShearingProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
The identity-giving function is the designed capability to cut/shear pipe during blowout prevention. This distinguishes it from other BOP ram types like pipe rams or blind rams that have different functions.
▸
Expert review
2
Genus Proximus
✓ done
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:
All sources consistently identify this as a specific type of ram. Ram is the most specific appropriate superclass - it represents the closure mechanism category in BOP systems. While not yet enriched in our ontology, it is the obvious domain superclass that would have its own designed function and structural characteristics.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.PipeShearingFunction ⊓ ∃hasComponentPartAtAllTimes.ShearingBlade
▼
Conditions that distinguish
Shear Ram
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The pipe shearing function and presence of hardened cutting blades are the minimal conditions that distinguish shear rams from other ram types. The shearing function is more specific than the general BOP closure function inherited from Ram.
▸
Expert review
4
Necessary Parts
✓ done
ShearingBlade
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
Shearing blades are the distinguishing parts specific to shear rams, while the ram body provides the structural foundation common to all rams but necessary for this specific implementation.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
⚠ 1 not in vocab
SteelPipe → SteelPipe
▼
⚠ Participant type(s) not in COPI vocabulary
SteelPipe
Participant types are hand-authored in
copi-vocab, not produced by the pipeline.
Replace each with an existing vocab type, redirect it to a BFO / IOF-Core class in copi-iri-map.tsv,
or add it to copi-vocab.ttl first.
This entry cannot be saved as validated until then.
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature involves taking a continuous pipe and mechanically severing it into separate sections, enabling removal of the upper section while sealing the wellbore.
▸
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 Shear Ram.
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.
