exported necessary COPI_0000237
Coriolis Mass Flow Meter
IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000237
Generated onGerado em 2026-04-16
Natural Language DefinitionDefinição em Linguagem Natural
EN
A flow meter that utilizes the Coriolis principle through specialized oscillating flow tubes to directly measure mass flow rate of fluids.
PT-BR
Um medidor de vazão que utiliza o princípio de Coriolis através de tubos de fluxo oscilantes especializados para medir diretamente a vazão mássica de fluidos.
Formal AxiomsAxiomas Formais
Semi-formal (Aristotelian)Semi-formal (Aristotélico)
Every coriolis mass flow meter is a flow meter that has component part at all times some Coriolis flow tube and utilizes the Coriolis principle.
First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Necessary condition]∀x (CoriolisMassFlowMeter(x) → FlowMeter(x) ∧ ∃f (FlowMeasurementFunction(f) ∧ bearerOf(x,f))) — Steps 1–3: genus + identity-giving function [Function axiom: FlowMeasurementFunction]∀f (FlowMeasurementFunction(f) → ∀p (realizedIn(f,p) → FlowMeasurementProcess(p)) ∧ ∃p (FlowMeasurementProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Structural differentia (necessary only)]∀x (CoriolisMassFlowMeter(x) → ∃hasComponentPartAtAllTimes.CoriolisFlowTube ⊓ ∃utilizesPhysicalPrinciple.CoriolisPrinciple) — Step 3: structural property — necessary condition, not sufficient (OWA prevents ≡) [Process participation signature]∀x ∀f ((CoriolisMassFlowMeter(x) ∧ FlowMeasurementFunction(f) ∧ bearerOf(x,f)) → ∃m (FluidPortion(m) ∧ participatesIn(m,f)) ∧ ∃e1 (FluidPortion(e1) ∧ participatesIn(e1,f)) ∧ ∃e2 (MassFlowRateSignal(e2) ∧ participatesIn(e2,f)) ∧ processType(f,MeasurementTransduction)) — 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: CoriolisMassFlowMeter <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 :FlowMeasurementFunction rdf:type owl:Class ; rdfs:subClassOf iof-core:DesignedFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :FlowMeasurementProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :FlowMeasurementProcess ] ; rdfs:label "flow measurement function"@en ; rdfs:label "função de medição de fluxo"@pt-br . ### Process type :FlowMeasurementProcess rdf:type owl:Class ; rdfs:subClassOf iof-core:PlannedProcess ; rdfs:label "flow measurement process"@en ; rdfs:label "processo de medição de fluxo"@pt-br . :FlowMeasurementProcess rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasInput ; owl:someValuesFrom :FluidPortion ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :FluidPortion ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :MassFlowRateSignal ] . ### Equipment universal: CoriolisMassFlowMeter :CoriolisMassFlowMeter rdf:type owl:Class ; rdfs:subClassOf :FlowMeter ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :FlowMeasurementFunction ] ; rdfs:label "coriolis mass flow meter"@en ; rdfs:label "medidor de vazão Coriolis"@pt-br ; iof-av:naturalLanguageDefinition "A flow meter that utilizes the Coriolis principle through specialized oscillating flow tubes to directly measure mass flow rate of fluids."@en ; skos:definition "A flow meter that utilizes the Coriolis principle through specialized oscillating flow tubes to directly measure mass flow rate of fluids."@en ; iof-av:naturalLanguageDefinition "Um medidor de vazão que utiliza o princípio de Coriolis através de tubos de fluxo oscilantes especializados para medir diretamente a vazão mássica de fluidos."@pt-br ; iof-av:semiFormalNaturalLanguageAxiom "Every coriolis mass flow meter is a flow meter that has component part at all times some Coriolis flow tube and utilizes the Coriolis principle."@en ; iof-av:firstOrderLogicAxiom "∀x(CoriolisMassFlowMeter(x) → FlowMeter(x) ∧ ∃y(CoriolisFlowTube(y) ∧ hasComponentPartAtAllTimes(x,y)) ∧ ∃z(CoriolisPrinciple(z) ∧ utilizesPhysicalPrinciple(x,z)))"@en ; iof-av:isPrimitive "true"^^xsd:boolean ; iof-av:primitiveRationale "Using necessary conditions for this constructive type. Under the Open World Assumption, defining sufficient conditions based on Coriolis principle usage could lead to false positives where other devices using Coriolis forces (like gyroscopes or accelerometers) might be incorrectly classified as flow meters. The structural differentia provides necessary conditions that can be validated by domain experts."@en ;
Axiomatization Decision LogRegistro de Decisões
1 Identity-Giving FunctionFunção Identitária
Function class
FlowMeasurementFunction ⊑ DesignedFunction
Realized in
FlowMeasurementProcess ⊑ PlannedProcess
Reusing the existing FlowMeasurementFunction from the already-enriched 'flow meter' class. A Coriolis mass flow meter shares the same identity-giving function as other flow meters - to measure flow characteristics of fluids.
2 Genus DeterminationDeterminação do Gênero
flow meterbfo:Object (BFO_0000030)
The parent_candidates list includes 'flow meter' which is already enriched in our ontology. This is the most specific appropriate superclass. Coriolis mass flow meter is explicitly defined as a specialized type of mass flow meter, and flow meter is the broader category that encompasses both volumetric and mass flow measurement devices.
3 Differentia SpecificaDiferença Específica
∃hasComponentPartAtAllTimes.CoriolisFlowTube ⊓ ∃utilizesPhysicalPrinciple.CoriolisPrinciple

Uses the Coriolis principle via specialized flow tubes that experience Coriolis forces to directly measure mass flow rate.

The differentia captures the constructive mechanism that distinguishes Coriolis flow meters: the presence of specialized Coriolis flow tubes and the utilization of the Coriolis physical principle. This is the minimal additional condition beyond the generic flow measurement function inherited from the genus.
4 Necessary PartsPartes Necessárias

No necessary parts recorded.

These parts constitute the essential Coriolis measurement mechanism: oscillating tubes, driving mechanism, force detection, and signal processing.
Process Participation SignatureAssinatura de Participação em Processo
InputsEntradas
{'type': 'FluidPortion', 'count': 1, 'constraints': 'continuous flow through measurement tubes'}
OutputsSaídas
{'type': 'FluidPortion', 'count': 1, 'constraints': 'same fluid with measured mass flow characteristics'}, {'type': 'MassFlowRateSignal', 'count': 1, 'constraints': 'proportional to actual mass flow rate'}
TransformationTransformação
measurement transduction - fluid flow characteristics converted to electrical signal without altering fluid composition
Coriolis meters provide inline measurement without flow restriction or fluid modification, outputting the measured fluid plus measurement signal
MetadataMetadados
COPI IDCOPI IDCOPI_0000237
IRIIRIhttps://www.inf.ufrgs.br/ontologies/copi/COPI_0000237
StatusStatusexported
Axiom modeModonecessary
CreatedCriado2026-04-16
UpdatedAtualizado2026-06-28
LLM modelModelo LLMclaude-sonnet-4-20250514
VersionVersão2026-07-13