Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
housing
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Housing is primarily defined by its physical configuration as an enclosure that provides structural support. While it has a function (enclosing and supporting), its identity is given by its structural characteristics - being an enclosure with support capability - rather than by a specialized functional role. The SLB definition reinforces this constructive view by describing it as 'the outside steel case' with specific geometric properties.
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 EnclosureFunction is identity-giving because all sources emphasize housing as fundamentally providing enclosure with support. This differs from simple containment (like a vessel) by combining boundary protection with structural 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:
Housing is an Assembly because it is a causally unified artifact designed to contain and support other components. It has physically connected parts (walls, supports, mounting features) that can be disassembled but function as a single maintainable unit. No more specific genus like 'Enclosure' exists in the already-enriched classes, so Assembly is the most appropriate genus.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.EnclosureFunction ⊓ ∃bearerOf.SupportFunction
▼
Conditions that distinguish
Housing
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The combination of EnclosureFunction and SupportFunction is the minimal differentia that distinguishes housing from other assemblies. Both functions are necessary - pure enclosures without support and pure supports without enclosure are different equipment 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 universal parts can be identified for housing at this general level. Specific housing subtypes (bearing housing, instrument housing, etc.) would have type-specific parts, but the general housing concept is too broad to specify universal components. No component terms are provided in the Known Component Terms list.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
MaterialArtifact → MaterialArtifact
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Housing processes transform unprotected/unsupported components into protected/supported components by providing enclosure and structural support. This grounds disjointness with other assemblies that have different transformation signatures.
▸
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 Housing.
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.
