Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
gear casing
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 physical structure and function as a housing that contains gear components. The identity is given by the specific enclosure configuration for gear internals, not by an independent functional purpose beyond the generic enclosure function.
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
EnclosureFunction → EnclosureProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The gear casing's identity is fundamentally given by its function to enclose and contain gear components. This is evidenced by the ISO 15926 definition stating it 'contains the internal components of a gear'. The EnclosureFunction already exists in the ontology from the 'casing' enrichment, and gear casing is a specific type of casing, so reusing this function is appropriate.
▸
Expert review
2
Genus Proximus
✓ done
Casing · 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 ISO 15926 definition explicitly states 'A GEAR CASING is a HOUSING that contains...' and lists HOUSING as a parent. However, examining the already-enriched classes, 'casing' exists with function EnclosureFunction and genus Assembly. Since a gear casing is specifically a casing designed to contain gear components, 'casing' is the most specific appropriate genus rather than the more general 'housing'.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasContent.GearMechanism
▼
Conditions that distinguish
Gear Casing
from sibling classes under genus
Casing.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific content that the casing is designed to contain - gear components and mechanisms. This distinguishes it from other types of casings that contain different mechanical systems.
▸
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 component terms are provided in the Known Component Terms list, and the ISO 15926 definition does not specify particular structural elements beyond the general housing function. Without specific evidence of necessary parts from the sources, no parts are modeled at this universal level.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Gear casing is a passive containment structure with no active process inputs or outputs. Its process signature reflects pure containment function - it maintains a protective boundary around gear components without transforming any material streams.
▸
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 Gear Casing.
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.
