Sample Vessel

Definition & axiom

Label (EN)

sample vessel

Label (PT-BR)

Definition (EN)

Definition (PT-BR)

Semi-formal axiom (Aristotelian)

Axiom type

Necessary only (⊑) Necessary + sufficient (≡)

LLM classification basis: function-based → ≡

Both cross-source definitions are purpose-based ('in which the sample is collected, stored, and transported to the analytical equipment'), naming no specific construction -- any container meeting this purpose qualifies, matching the ontology's existing pattern for purpose-defined Vessel subtypes (e.g. storage tank, pig launcher).

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 SampleCollectionFunction → SampleCollectionProcess ⊑ MaterialContainment ▼

Function Class

Parent ↗ IOF-Core

Process Class

Process Parent ↗ IOF-Core

COPI-Core operation MaterialContainment via process parent MaterialContainment

LLM rationale: Vessel's own function (ContainmentFunction) is too generic to distinguish a sample vessel from any other container; SampleCollectionFunction narrows it to the specific collect-hold-transport-for-analysis purpose stated verbatim in both cross-source definitions.

▸ 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

Assembly ↗

Disassemblable unit (pump, compressor, HX)

MaterialArtifact ↗

Monolithic artefact (valve, pipe, sensor)

Object ↗

bfo:Object — when neither Assembly nor MaterialArtifact fits

FiatObjectPart ↗

Fiat part (well interval, pipe segment)

bfo:ObjectAggregate branch

EngineeredSystem ↗

Deliberate system of interacting objects (train, package)

ObjectAggregate ↗

bfo:ObjectAggregate — when EngineeredSystem is too specific

bfo:ImmaterialEntity branch

Site ↗

bfo:Site — cavity / spatial region (wellbore, annulus). No DesignedFunction axiom.

LLM rationale: Parent candidate CONTAINER is not itself enriched; Vessel (already enriched, function=ContainmentFunction, exported) is the closest enriched supertype and matches the physical form (a container).

▸ Expert review

3 Differentia Specifica ✓ done ∃bearerOf.SampleCollectionFunction ▼

Conditions that distinguish Sample Vessel from sibling classes under genus Vessel. Only what is not already entailed by the genus.

Differentia expression

Differentia (natural language)

LLM rationale: Functional type: the identity-giving function alone is necessary and sufficient, following the same pattern as other purpose-defined Vessel subtypes.

▸ 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 specific structural component is named in either cross-source definition beyond the container itself.

▸ Expert review

5 Process Participation Signature ⟨I, O, T⟩ ✓ done PortionOfFluid → PortionOfFluid ▼

Inputs (I)

Outputs (O)

Transformation (T)

LLM rationale: Passive containment signature, matching the genus Vessel; no transformation of the sample itself occurs.

▸ Expert review

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 0 of 1 selected ▼

Select which CFIHOS/DEXPI properties inhere in every instance of Sample Vessel as bfo:Quality subclasses.

normal operating pressure bar gauge Number

A pressure at which a functional or physical object is expected to operate normally.

Each selected property → :SampleVesselQuality ⊑ bfo:Quality, inheres in :SampleVessel

Custom axioms none ▼

Axioms not produced by the pipeline. Each is appended verbatim as an rdfs:subClassOf restriction on Sample Vessel.

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 ▼

Full matrix

Click "Detect divergences" to analyse cross-standard disagreements for this cluster.

Source Definitions (2)

iso15926 2019 ↗

SAMPLE VESSEL — ClassOfInanimatePhysicalObject

Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.

cfihos V2.0

sample vessel — TagAndEquipmentClass

Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.

Provenance tiers (2) secondary coverage: none

Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.

primary iso15926 SAMPLE VESSEL

standard · verbatim

application

Quote hidden — sign in to view.

primary cfihos sample vessel

standard · verbatim

application

Quote hidden — sign in to view.

OWL/Turtle preview

Download .ttl

Numeric COPI_* IRIs from copi-iri-map.tsv, with the readable name as a trailing comment. Names not yet in the map stay readable.

ID 1123 · claude-sonnet-5

Created 2026-09-08 23:54

Updated 2026-09-10 19:19

Last edited by claude-code-session · 2026-09-10 22:19

↺ Re-run Enrichment with Notes

Suggest a change