Compressor

Definition & axiom

Label (EN)

compressor

Label (PT-BR)

Definition (EN)

Definition (PT-BR)

Semi-formal axiom (Aristotelian)

Axiom type

Necessary only (⊑) Necessary + sufficient (≡)

LLM classification basis: function-based → ≡

All source definitions consistently define compressor by its function: 'compressing gas', 'increasing pressure of gas', 'adds energy to gas to increase pressure'. The identity is given by the compression function, not by any specific physical mechanism (reciprocating, centrifugal, axial, etc.)

Validation status

Why primitive (necessary only)

Reviewer notes

FOL theory & disjointness

First-order logic theory (generated)

                                  Loading…
                                

Disjoint with

▸ Expert review — accepted

Axiomatization steps

1 Identity-Giving Function ✓ done CompressionFunction → CompressionProcess ⊑ MomentumTransfer ▼

Function Class

Parent ↗ IOF-Core

Process Class

Process Parent ↗ IOF-Core

COPI-Core operation MomentumTransfer via process parent MomentumTransfer

LLM rationale: The compression function is identity-giving - what makes a compressor a compressor is its designed capability to compress gases by adding energy to increase pressure. This distinguishes it from pumps (liquid handling) and other fluid machinery.

▸ Expert review — accepted

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

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: No domain-specific superclass exists in parent_candidates that is more specific than the BFO/IOF-Core roots. While 'ProcessEquipment' appears in DEXPI hierarchy, it's too broad and not ontologically well-defined. Compressors are causally unified machines with removable subcomponents (impellers, casings, bearings, seals) that can be disassembled for maintenance - fitting the Assembly pattern. They are single maintainable units with one causal boundary.

▸ Expert review — accepted

3 Differentia Specifica ✓ done ∃bearerOf.CompressionFunction ▼

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

Differentia expression

Differentia (natural language)

LLM rationale: The compression function is the minimal differentiating condition that distinguishes compressors from all other assemblies. Assembly already provides the material artifact and designed function constraints, so only the specific compression function type is needed.

▸ Expert review — accepted

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 minimum physical components that every compressor must have to realize its compression function, regardless of the specific compression mechanism employed.

▸ Expert review — accepted

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

Inputs (I)

Outputs (O)

Transformation (T)

LLM rationale: Compressors take low-pressure gas and output the same gas at higher pressure by adding mechanical energy. The gas composition remains essentially unchanged but pressure and often temperature increase.

▸ 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).

Custom axioms none ▼

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

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 (6)