Nozzle

Definition & axiom

Label (EN)

nozzle

Label (PT-BR)

Definition (EN)

Definition (PT-BR)

Semi-formal axiom (Aristotelian)

Axiom type

Necessary only (⊑) Necessary + sufficient (≡)

LLM classification basis: function-based → ≡

Nozzle identity is defined by its function of directing fluid flow through a shaped orifice. While nozzles have characteristic geometry (protruding part, shaped orifice), their identity is primarily functional - any artifact that directs/shapes fluid flow in this manner is a nozzle, regardless of specific construction.

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 FluidDirectionFunction → FluidDirectionProcess ⊑ MomentumTransfer ▼

Function Class

Parent ↗ IOF-Core

Process Class

Process Parent ↗ IOF-Core

COPI-Core operation MomentumTransfer via process parent MomentumTransfer

LLM rationale: The identity-giving function of a nozzle is to direct fluid flow through a shaped orifice. This differs from general fluid transport (pipes) or control (valves) - it specifically shapes and directs the fluid stream.

▸ 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

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 appropriate domain-specific superclass exists in the parent candidates or enriched classes. Nozzles are typically simple, monolithic fluid components without removable subparts, making MaterialArtifact the correct BFO root rather than Assembly.

▸ Expert review

3 Differentia Specifica ✓ done ∃bearerOf.FluidDirectionFunction ⊓ ∃hasPart.ShapedOrifice ⊓ ∃hasPart.ProtrudingPart ▼

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

Differentia expression

Differentia (natural language)

LLM rationale: The combination of shaped orifice and protruding geometry is what enables fluid direction function and distinguishes nozzles from other fluid components.

▸ 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: These are the minimal structural components that enable the fluid direction function in all nozzle types.

▸ Expert review

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

Inputs (I)

Outputs (O)

Transformation (T)

LLM rationale: Nozzles transform pressurized fluid into directed discharge with shaped flow patterns through geometric constraints.

▸ 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 5 selected ▼

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

Chamber

The at which the is located, if applicable. The must be a component of the same object as the .

NominalPressureNumericalValueRepresentation Undefined|String

A readable representation of the numerical value of the nominal pressure of the , without any type or unit of measure.

NominalPressureRepresentation Undefined|String

A readable representation of the nominal pressure of the . It normally contains a numerical value and a type or unit of …

NominalPressureStandard NominalPressureStandardClassification

The nominal pressure of the , given as a reference to a nominal pressure standard and value.

NominalPressureTypeRepresentation Undefined|String

A readable representation of the type or unit of measure of the nominal pressure of the .

Each selected property → :NozzleQuality ⊑ bfo:Quality, inheres in :Nozzle

Custom axioms none ▼

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

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