Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
globe control valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: both
This concept combines functional identity (control valve: ProcessControlledFlowFunction) with constructive identity (globe valve: globe-shaped body with linear motion closure). The functional parent is 'control valve' and the constructive differentia is the globe mechanism (linear plug/disc through globe-shaped body).
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
ProcessControlledFlowFunction → ProcessControlledFlowProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent PlannedProcess
LLM rationale:
A globe control valve's identity is grounded in its designed function to control fluid flow in response to process control signals. This is the same identity-giving function as control valve (already enriched), which this concept specializes with globe-specific construction.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
ControlValve · 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
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
From the parent candidates, both 'control valve' and 'globe valve' are already enriched. Since this is a 'globe control valve', the most specific genus is 'control valve' - it is primarily a control valve that happens to use globe construction. This follows the functional-primary classification where constructive aspects are differentiating features of functional categories.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.GlobeValveBody ⊓ ∃hasComponentPartAtAllTimes.LinearMotionClosure
▼
Conditions that distinguish
Globe Control Valve
from sibling classes under genus
ControlValve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the specific constructive features that make this a globe-type control valve: the characteristic globe-shaped body and linear motion closure mechanism that moves perpendicular to the flow stream. These structural features are not provided by the control valve genus and distinguish it from other control valve subtypes.
▸
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 are specific to globe construction and necessary for all globe control valve instances, beyond the generic parts inherited from control valve genus.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Single inlet to single outlet with modulated flow control characteristic of control valves, but with the specific pressure drop and flow characteristics of globe valve geometry.
▸
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
0 of 40 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Globe Control Valve as
bfo:Quality subclasses.
Each selected property →
:GlobeControlValveQuality ⊑ bfo:Quality, inheres in :GlobeControlValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Globe Control Valve.
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.