Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
scraper
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined across all sources by its primary function of mechanically removing deposits, debris, or contaminants from surfaces (pipes, casings, vessels). While different subtypes may have different physical configurations (blades, brushes, cutting teeth), the identity is given by the scraping/cleaning function rather than any particular structural mechanism.
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
ScrapingFunction → ScrapingProcess
▼
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 the mechanical removal of deposits, debris, scale, paraffin, or other contaminants from internal surfaces. This is consistently described across all sources as the defining capability that makes a scraper a scraper, regardless of its specific physical configuration or deployment method.
▸
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:
No appropriate domain-specific superclass exists in the parent candidates or enriched classes. A scraper is a causally unified engineered artifact designed for a specific function, typically deployed as a single maintainable unit. While some scrapers may have removable components (blades, brushes), they function as integrated tools rather than multi-component assemblies requiring separate maintenance of subcomponents.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ScrapingFunction
▼
Conditions that distinguish
Scraper
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The scraping function is the minimal and essential differentia that distinguishes scrapers from other tools and artifacts. It specifies the mechanical action of removing surface deposits while being more specific than general cleaning or maintenance functions.
▸
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:
The scraping element is the only universally necessary part - the specific form varies by subtype (blades for paraffin scrapers, brushes for pipeline pigs, cutting teeth for casing scrapers) but some scraping mechanism must always be present.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
Surface → Surface + RemovedMaterial
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The characteristic process signature involves taking a contaminated surface and mechanically removing deposits to produce a cleaned surface and separated waste material.
▸
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 Scraper.
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.
