← Class ReferenceReferência de Classes
exported equivalent COPI_0000300
Hydraulic Pump
IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000300
Generated onGerado em 2026-04-16
Natural Language DefinitionDefinição em Linguagem Natural
EN
A hydraulic pump is a positive displacement pump that converts mechanical power into hydraulic energy for hydraulic drive systems.
PT-BR
Uma bomba hidráulica é uma bomba de deslocamento positivo que converte energia mecânica em energia hidráulica para sistemas de acionamento hidráulico.
Formal AxiomsAxiomas Formais
Semi-formal (Aristotelian)Semi-formal (Aristotélico)
Every hydraulic pump is a positive displacement pump that bears a hydraulic pumping function and participates in hydraulic power transmission processes.
First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Definition]∀x (HydraulicPump(x) ↔ PositiveDisplacementPump(x) ∧ ∃f (HydraulicPumpingFunction(f) ∧ bearerOf(x,f)) ∧ ∃bearerOf.HydraulicPumpingFunction ⊓ ∃participatesIn.HydraulicPumpingProcess) — Steps 1–3: genus + identity-giving function [Function axiom: HydraulicPumpingFunction]∀f (HydraulicPumpingFunction(f) → ∀p (realizedIn(f,p) → HydraulicPumpingProcess(p)) ∧ ∃p (HydraulicPumpingProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Necessary part: HydraulicPumpInlet]∀x (HydraulicPump(x) → ∃p (HydraulicPumpInlet(p) ∧ hasComponentPartAtAllTimes(x,p))) — Step 4: mereological commitment — every instance must have this part [Necessary part: HydraulicPumpOutlet]∀x (HydraulicPump(x) → ∃p (HydraulicPumpOutlet(p) ∧ hasComponentPartAtAllTimes(x,p))) — Step 4: mereological commitment — every instance must have this part [Process participation signature]∀x ∀f ((HydraulicPump(x) ∧ HydraulicPumpingFunction(f) ∧ bearerOf(x,f)) → ∃m (HydraulicFluid(m) ∧ participatesIn(m,f)) ∧ ∃e (HydraulicFluid(e) ∧ participatesIn(e,f)) ∧ processType(f,PressureIncrease)) — Step 5: typed participants in the realising process
OWL 2 / Turtle
@prefix copi: <https://www.inf.ufrgs.br/ontologies/copi/> . @prefix : <https://www.inf.ufrgs.br/ontologies/copi/> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix bfo: <http://purl.obolibrary.org/obo/> . @prefix iof-core: <https://spec.industrialontologies.org/ontology/construct/> . @prefix iof-av: <https://spec.industrialontologies.org/ontology/annotation/> . @prefix skos: <http://www.w3.org/2004/02/skos/core#> . @prefix qudt: <http://qudt.org/schema/qudt/> . @prefix dcterms: <http://purl.org/dc/terms/> . @prefix foaf: <http://xmlns.com/foaf/0.1/> . @prefix apv: <http://inf.ufrgs.br/ontologies/apv#> . ### COPI — Core Ontology for Petroleum Installations ### Class module: HydraulicPump <https://www.inf.ufrgs.br/ontologies/copi> rdf:type owl:Ontology ; dcterms:title "Core Ontology for Petroleum Installations (COPI)"@en ; dcterms:title "Ontologia Core para Instalações de Petróleo (COPI)"@pt-br ; dcterms:description "BFO/IOF-Core conformant ontology of equipment classes for petroleum production plants, developed using the five-step RDL enrichment method."@en ; skos:scopeNote "Material artifacts (bfo:material_entity) that (i) are part of a petroleum production plant, and (ii) bear at least one function whose realization involves the transport (e.g. production and injection), processing (separation and other processes), control, monitoring, measurement, containment or offloading of material or energy."@en ; skos:scopeNote "Artefatos materiais (bfo:material_entity) que (i) fazem parte de uma planta de produção de petróleo, e (ii) possuem ao menos uma função cuja realização envolve o transporte (p. ex. produção e injeção), processamento (separação e outros processos), controle, monitoramento, medição, contenção ou escoamento de material ou energia."@pt-br ; skos:scopeNote "COPI provides high-level equipment categories defined by function to demonstrate the defined-class mechanism. Equipment subtypes are annotated with references to CFIHOS and PCA RDL terms. COPI is not a reference data library; organizations should use CFIHOS, PCA RDL, or ISO 14224 for comprehensive equipment classification."@en ; skos:scopeNote "COPI fornece categorias de alto nível de equipamentos definidas por função para demonstrar o mecanismo de classe definida. Os subtipos de equipamentos são anotados com referências aos termos do CFIHOS e do PCA RDL. COPI não é uma biblioteca de dados de referência; organizações devem utilizar o CFIHOS, o PCA RDL ou a ISO 14224 para classificação abrangente de equipamentos."@pt-br ; owl:versionInfo "1.1.0-104-g4d16eff" ; owl:imports <https://spec.industrialontologies.org/ontology/core/Core/> ; owl:imports <http://purl.obolibrary.org/obo/bfo/2020/bfo.owl> ; dcterms:creator "Nicolau Oyhenard dos Santos"@en ; dcterms:contributor "Cauã Antunes" ; dcterms:contributor "Haroldo Rojas" ; dcterms:contributor "Rafael Petry" ; dcterms:contributor "Régis Romeu" ; dcterms:contributor "Mara Abel" ; dcterms:isPartOf <https://inf.ufrgs.br/projetos/OntoKG> ; dcterms:publisher "Universidade Federal do Rio Grande do Sul (UFRGS)"@en ; dcterms:license <https://creativecommons.org/licenses/by/4.0/> ; dcterms:created "2026-04-08"^^xsd:date ; dcterms:modified "2026-07-13"^^xsd:date ; apv:GlobalMinLanguageCoverage "en pt-br" ; apv:ClassURIFormationRule "https://www[.]inf[.]ufrgs[.]br/ontologies/copi/(COPI_[0-9]{7}|[A-Z][A-Za-z0-9]*)" ; apv:ClassMinAnnotationCoverage "rdfs:label https://spec.industrialontologies.org/ontology/annotation/naturalLanguageDefinition" . iof-av:naturalLanguageDefinition rdf:type owl:AnnotationProperty ; apv:MinAnnotationLength 20 . ### Identity-giving function :HydraulicPumpingFunction rdf:type owl:Class ; rdfs:subClassOf :PumpingFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :HydraulicPumpingProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :HydraulicPumpingProcess ] ; rdfs:label "hydraulic pumping function"@en ; rdfs:label "função de bombeamento hidráulico"@pt-br . :PumpingFunction rdf:type owl:Class . ### Process type :HydraulicPumpingProcess rdf:type owl:Class ; rdfs:subClassOf :PumpingProcess ; rdfs:label "hydraulic pumping process"@en ; rdfs:label "processo de bombeamento hidráulico"@pt-br . :PumpingProcess rdf:type owl:Class . :HydraulicPumpingProcess rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasInput ; owl:someValuesFrom :HydraulicFluid ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :HydraulicFluid ] . ### Equipment universal: HydraulicPump :HydraulicPump rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( :PositiveDisplacementPump [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :HydraulicPumpingFunction ] [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasComponentPartAtAllTimes ; owl:someValuesFrom :HydraulicPumpInlet ] [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasComponentPartAtAllTimes ; owl:someValuesFrom :HydraulicPumpOutlet ] ) ] ; rdfs:label "hydraulic pump"@en ; rdfs:label "bomba hidráulica"@pt-br ; iof-av:naturalLanguageDefinition "A hydraulic pump is a positive displacement pump that converts mechanical power into hydraulic energy for hydraulic drive systems."@en ; skos:definition "A hydraulic pump is a positive displacement pump that converts mechanical power into hydraulic energy for hydraulic drive systems."@en ; iof-av:naturalLanguageDefinition "Uma bomba hidráulica é uma bomba de deslocamento positivo que converte energia mecânica em energia hidráulica para sistemas de acionamento hidráulico."@pt-br ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000196 ; owl:someValuesFrom :COPI_0000059 ] ; :HydraulicPumpInlet rdf:type owl:Class ; rdfs:subClassOf :FluidPort ; rdfs:label "entrada hidráulico de bomba"@pt-br ; rdfs:label "hydraulic pump inlet"@en . :HydraulicPumpOutlet rdf:type owl:Class ; rdfs:subClassOf :FluidPort ; rdfs:label "saída hidráulico de bomba"@pt-br ; rdfs:label "hydraulic pump outlet"@en . # Disjointness: HydraulicPump and CentrifugalPump [] rdf:type owl:AllDisjointClasses ; owl:members ( :HydraulicPump :CentrifugalPump ) .
Axiomatization Decision LogRegistro de Decisões
1 Identity-Giving FunctionFunção Identitária
Function class
HydraulicPumpingFunction ⊑ PumpingFunction
Realized in
HydraulicPumpingProcess ⊑ PumpingProcess
The identity-giving function is specifically hydraulic pumping - converting mechanical power into hydraulic energy (flow and pressure) for hydraulic drive systems. This is a specialized subtype of general pumping function that creates the vacuum and pressure differential needed for hydraulic systems.
2 Genus DeterminationDeterminação do Gênero
positive displacement pumpbfo:Object (BFO_0000030)
ISO 15926 explicitly states 'A HYDRAULIC PUMP is a POSITIVE DISPLACEMENT PUMP used in hydraulic drive systems'. The parent_candidates list shows 'POSITIVE DISPLACEMENT PUMP' as already enriched in our ontology. This is the most specific appropriate superclass rather than the more general 'Pump' class.
3 Differentia SpecificaDiferença Específica
∃bearerOf.HydraulicPumpingFunction ⊓ ∃participatesIn.HydraulicPumpingProcess

A hydraulic pump is distinguished from other positive displacement pumps by being specifically designed for hydraulic drive systems, converting mechanical power into hydraulic energy.

The differentia captures the specific application domain (hydraulic drive systems) and the power conversion aspect (mechanical to hydraulic energy) that distinguishes hydraulic pumps from other positive displacement pumps used for general fluid transfer.
4 Necessary PartsPartes Necessárias
Part classParentRelation
HydraulicPumpInletFluidPorthasComponentPartAtAllTimes
HydraulicPumpOutletFluidPorthasComponentPartAtAllTimes
These parts are necessary for the basic hydraulic pumping function - inlet for fluid intake, outlet for pressurized delivery, and casing for containment. The specific displacement mechanism varies by subtype.
Process Participation SignatureAssinatura de Participação em Processo
InputsEntradas
{'type': 'HydraulicFluid', 'count': 1, 'constraints': 'low pressure from reservoir'}
OutputsSaídas
{'type': 'HydraulicFluid', 'count': 1, 'constraints': 'high pressure for hydraulic system'}
TransformationTransformação
mechanical energy converted to hydraulic energy (pressure and flow)
Hydraulic pumps take low-pressure hydraulic fluid and mechanical power as inputs, converting the mechanical energy into hydraulic energy manifested as high-pressure fluid output for hydraulic drive systems.
Disjoint WithDisjunto com
centrifugal pump
C?: centrifugal pump [kind_ambiguous]. Centrifugal pumps use dynamic (kinetic energy transfer) mechanisms while hydraulic pumps are explicitly positive displacement pumps - these represent incompatible pumping mechanisms
MetadataMetadados
COPI IDCOPI IDCOPI_0000300
IRIIRIhttps://www.inf.ufrgs.br/ontologies/copi/COPI_0000300
StatusStatusexported
Axiom modeModoequivalent
CreatedCriado2026-04-16
UpdatedAtualizado2026-07-12
LLM modelModelo LLMclaude-sonnet-4-20250514
VersionVersão2026-07-13
ISA 5.1-2022 — wikimedia/pump.svg
Quick factsDados rápidos
GenusGêneropositive displacement pump
Root classClasse raizAssembly
Axiom modeModoequivalent
FunctionFunçãoHydraulicPumpingFunction
ProcessProcessoHydraulicPumpingProcess
PartsPartes2
Source DefinitionsDefinições nas Fontes 2 sources
ISO 15926-4 HYDRAULIC PUMP
Definition text withheld (copyrighted standard) — follow the source link above.Texto da definição omitido (norma protegida por direitos autorais) — acesse o link da fonte acima.
ONEPETRO_GLOSSARY Hydraulic pump
Definition text withheld (copyrighted standard) — follow the source link above.Texto da definição omitido (norma protegida por direitos autorais) — acesse o link da fonte acima.