Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
thin plate
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The term 'thin plate' is defined by its physical geometry and manufacturing method ('thin steel plate format', 'coldforming'), not by a specific function. The identity is given by structural characteristics rather than designed purpose.
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
StructuralSupportFunction → StructuralSupportProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
Plates are fundamentally structural elements designed to bear loads, provide support, or act as structural barriers. This is the generic function that makes a plate a plate rather than another type of component.
▸
Expert review
2
Genus Proximus
✓ done
MaterialArtifact
▼
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 source explicitly states 'A <THIN PLATE> is a <PLATE>', making 'Plate' the immediate genus. Plate would be a MaterialArtifact as it is a designed artifact with intrinsic structural identity but typically monolithic rather than assembled.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasQuality.ThinThickness ⊓ ∃hasQuality.ColdFormedManufacturing
▼
Conditions that distinguish
Thin Plate
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The definition specifies two key differentiating characteristics: 'thin' geometry and 'coldforming' manufacturing method. These are the minimal conditions that distinguish thin plates from other plate types.
▸
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 source standards, and the definition describes a monolithic structural element without identifiable subcomponents. Thin plates are typically single-piece manufactured items without discrete parts.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Plates are passive structural elements that do not actively process material streams. They provide structural support, load distribution, or barrier functions through their geometric and material properties rather than through active transformation of inputs to outputs.
▸
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 Thin Plate.
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.
