Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
skid
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Skid is defined consistently across sources by its support function - to facilitate handling, transport, and installation of equipment. While it has structural aspects (steel frame), its identity is given by its designed support function rather than specific physical configuration.
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
EquipmentSupportFunction → EquipmentSupportProcess
▼
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 to provide structural support for equipment during manufacturing, transportation, handling, and installation phases. This distinguishes skids from other support structures by their mobility and multi-phase support capability.
▸
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:
No domain-specific parent exists in the enriched classes that captures support structures. A skid is a causally unified artefact with physically connected components (frame, mounting points, lifting lugs) that can be assembled/disassembled, making it an Assembly rather than a simple MaterialArtifact. The parent candidates (ARTEFACT, SUPPORT) are too broad and map to MaterialArtifact level.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.EquipmentSupportFunction ⊓ ∃hasComponentPartAtAllTimes.SupportFrame ⊓ ∃participatesIn.HandlingProcess
▼
Conditions that distinguish
Skid
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia combines the specific support function with structural characteristics (support frame) and operational capability (handling process participation). This distinguishes skids from other assemblies and support structures.
▸
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 are essential for any skid to fulfill its support function - the frame provides structural integrity and mounting points enable equipment attachment.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
⚠ 1 not in vocab
EquipmentItem → EquipmentItem
▼
⚠ Participant type(s) not in COPI vocabulary
EquipmentItem(already published — grandfathered)
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.
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Skids take equipment items that need support/transport and output the same items in a supported, transportable configuration. The transformation is purely mechanical - providing structural support and enabling handling.
▸
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 Skid.
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.
