Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
threaded pipe cap
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Identity relative to genus PipeCap is given by the connection mechanism (a threaded pipe end), not a distinguishing function -- it performs the same ClosureFunction as any pipe cap.
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
ClosureFunction → ClosureProcess ⊑ MaterialContainment
▼
COPI-Core operation
MaterialContainment via process parent MaterialContainment
LLM rationale:
Reused verbatim from the already-enriched genus 'pipe cap' per the constructive-type rule.
▸
Expert review
2
Genus Proximus
✓ done
PipeCap · 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:
Primary source names PIPE CAP directly as parent: 'A THREADED PIPE CAP is a PIPE CAP that has a threaded pipe end' -- PipeCap (already enriched) is the exact genus proximum.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ClosureFunction
▼
Conditions that distinguish
Threaded Pipe Cap
from sibling classes under genus
PipeCap.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
EXPRESSIVE LIMITATION (documented exception, 2026-09-15): the source differentia 'has a threaded pipe end' has no COPI vocabulary to be asserted in OWL, so the OWL axiom states only the genus and function and the class is asserted, not inferable. The condition is kept in the natural-language definition. Candidate remedies for later: a hand-authored quality in copi-vocab, or (1128) the ISO 15926-4 pattern of a second parent THREADED PIPE END ARTEFACT.
▸
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 separable component distinguishes a threaded pipe cap from the genus; the differentia is a connection-type quality (see Step 3).
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Same passive-closure signature as the genus PipeCap.
▸
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 Threaded Pipe Cap.
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.
