Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
silo
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Identity is fundamentally given by the designed function to store bulk solids, not by the specific structural mechanism. While all definitions mention the conical shape, this is a common but not defining characteristic - the core identity is the solid bulk storage 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
SolidBulkStorageFunction → SolidBulkStorageProcess ⊑ MaterialContainment
▼
COPI-Core operation
MaterialContainment via process parent MaterialContainment
LLM rationale:
The identity-giving function is the specialized storage of solid materials in bulk quantities, which distinguishes silos from other storage vessels that handle liquids or gases. This function encompasses both containment and the specific handling requirements for bulk solids.
▸
Expert review
2
Genus Proximus
✓ done
Vessel · 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:
From parent_candidates, 'vessel' is the most specific and appropriate genus, already enriched in our ontology. CFIHOS explicitly states 'A vessel that has...' and ISO15926 indicates CONTAINER as parent, but vessel is more specific than container and already defined. Silo is a specialized type of vessel for solid storage.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.SolidBulkStorageFunction ⊓ ∃hasComponentPartAtAllTimes.ConicalBottom
▼
Conditions that distinguish
Silo
from sibling classes under genus
Vessel.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia combines the functional aspect (solid bulk storage) with the characteristic structural feature (conical bottom) that is consistently mentioned across all definitions and is functionally necessary for effective solid discharge. The conical geometry is not merely descriptive but serves the functional requirement of preventing bridging and ensuring flow of bulk solids.
▸
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 structural requirements that distinguish a silo from other vessels - the conical bottom for solid discharge and the containment walls. Additional components like roofs, discharge systems, etc. vary by subtype.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfSolid → PortionOfSolid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Silos receive bulk solid materials for storage and discharge the same materials, with minimal transformation except for natural settling, compaction, or minor degradation during storage period.
▸
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 Silo.
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.
