COPI · Manifold

exported necessary COPI_0000311

Manifold

IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000311

Generated onGerado em 2026-04-09

Natural Language DefinitionDefinição em Linguagem Natural

A manifold is an assembly that has a chamber with multiple fluid openings designed to distribute fluid flow.

PT-BR

Um manifold é um conjunto que possui uma câmara com múltiplas aberturas de fluido projetada para distribuir o fluxo de fluido.

Formal AxiomsAxiomas Formais

Semi-formal (Aristotelian)Semi-formal (Aristotélico)

Every manifold is an assembly that has-component-part-at-all-times some chamber and has-component-part-at-all-times some multiple fluid openings and bears some fluid distribution function.

First-Order Logic TheoryTeoria em Lógica de Primeira Ordem

[Necessary condition]∀x (Manifold(x) → Assembly(x) ∧ ∃f (FluidDistributionFunction(f) ∧ bearerOf(x,f))) — Steps 1–3: genus + identity-giving function [Function axiom: FluidDistributionFunction]∀f (FluidDistributionFunction(f) → ∀p (realizedIn(f,p) → FluidDistributionProcess(p)) ∧ ∃p (FluidDistributionProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Structural differentia (necessary only)]∀x (Manifold(x) → ∃hasComponentPartAtAllTimes.Chamber ⊓ ∃hasComponentPartAtAllTimes.MultipleFluidOpenings ⊓ ∃bearerOf.FluidDistributionFunction) — Step 3: structural property — necessary condition, not sufficient (OWA prevents ≡) [Necessary part: Chamber]∀x (Manifold(x) → ∃p (Chamber(p) ∧ hasComponentPartAtAllTimes(x,p))) — Step 4: mereological commitment — every instance must have this part [Necessary part: FluidOpening]∀x (Manifold(x) → ∃p (FluidOpening(p) ∧ hasComponentPartAtAllTimes(x,p))) — Step 4: mereological commitment — every instance must have this part [Process participation signature]∀x ∀f ((Manifold(x) ∧ FluidDistributionFunction(f) ∧ bearerOf(x,f)) → ∃m (FluidPortion(m) ∧ participatesIn(m,f)) ∧ ∃e (FluidPortion(e) ∧ participatesIn(e,f)) ∧ processType(f,FlowDirectionControl)) — 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: Manifold <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 :FluidDistributionFunction rdf:type owl:Class ; rdfs:subClassOf iof-core:DesignedFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :FluidDistributionProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :FluidDistributionProcess ] ; rdfs:label "fluid distribution function"@en ; rdfs:label "função de distribuição de fluido"@pt-br . ### Process type :FluidDistributionProcess rdf:type owl:Class ; rdfs:subClassOf iof-core:PlannedProcess ; rdfs:label "fluid distribution process"@en ; rdfs:label "processo de distribuição de fluido"@pt-br . :FluidDistributionProcess 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 ] . ### Equipment universal: Manifold :Manifold rdf:type owl:Class ; rdfs:subClassOf iof-core:Assembly ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :FluidDistributionFunction ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasComponentPartAtAllTimes ; owl:someValuesFrom :Chamber ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasComponentPartAtAllTimes ; owl:someValuesFrom :FluidOpening ] ; rdfs:label "manifold"@en ; rdfs:label "manifold"@pt-br ; iof-av:naturalLanguageDefinition "A manifold is an assembly that has a chamber with multiple fluid openings designed to distribute fluid flow."@en ; skos:definition "A manifold is an assembly that has a chamber with multiple fluid openings designed to distribute fluid flow."@en ; iof-av:naturalLanguageDefinition "Um manifold é um conjunto que possui uma câmara com múltiplas aberturas de fluido projetada para distribuir o fluxo de fluido."@pt-br ; iof-av:semiFormalNaturalLanguageAxiom "Every manifold is an assembly that has-component-part-at-all-times some chamber and has-component-part-at-all-times some multiple fluid openings and bears some fluid distribution function."@en ; iof-av:firstOrderLogicAxiom "∀x(Manifold(x) → Assembly(x) ∧ ∃c(Chamber(c) ∧ hasComponentPartAtAllTimes(x,c)) ∧ ∃o(MultipleFluidOpenings(o) ∧ hasComponentPartAtAllTimes(x,o)) ∧ ∃f(FluidDistributionFunction(f) ∧ bearerOf(x,f)))"@en ; iof-av:isPrimitive "true"^^xsd:boolean ; iof-av:primitiveRationale "As a constructive type, manifolds are defined by structural configuration. Under OWA, asserting equivalence would force any assembly with a chamber and multiple openings to be classified as a manifold, potentially misclassifying complex equipment with manifold-like components (e.g., turbine casings, complex valves). Starting with necessary conditions protects against false positives."@en ; :Chamber rdf:type owl:Class ; rdfs:subClassOf iof-core:MaterialArtifact ; rdfs:label "câmara"@pt-br ; rdfs:label "chamber"@en . :FluidOpening rdf:type owl:Class ; rdfs:subClassOf iof-core:MaterialArtifact ; rdfs:label "abertura de fluido"@pt-br ; rdfs:label "fluid opening"@en .

Axiomatization Decision LogRegistro de Decisões

1 Identity-Giving FunctionFunção Identitária

Function class

FluidDistributionFunction ⊑ DesignedFunction

Realized in

FluidDistributionProcess ⊑ PlannedProcess

All definitions consistently point to distribution/routing of fluids as the core function. This is distinct from transport (pipeline) or control (valve) - it's about splitting/combining fluid streams through multiple openings.

2 Genus DeterminationDeterminação do Gênero

Assemblybfo:Object (BFO_0000030)

Manifolds are causally unified assemblies with removable subcomponents (valves, piping connections, instrumentation). They have a single causal boundary despite containing multiple parts. None of the parent candidates (ARTEFACT, FLUID CONDUCTOR, piping equipment, Static Equipment) represent the most specific appropriate superclass - manifold is itself a fundamental equipment category at the Assembly level.

3 Differentia SpecificaDiferença Específica

∃hasComponentPartAtAllTimes.Chamber ⊓ ∃hasComponentPartAtAllTimes.MultipleFluidOpenings ⊓ ∃bearerOf.FluidDistributionFunction

A manifold is distinguished by having a central chamber with multiple fluid openings designed for distributing fluid flow.

The chamber with multiple openings is the defining structural characteristic that enables the distribution function and distinguishes manifolds from other assemblies.

4 Necessary PartsPartes Necessárias

Part class	Parent	Relation
Chamber	MaterialArtifact	hasComponentPartAtAllTimes
FluidOpening	MaterialArtifact	hasComponentPartAtAllTimes

These parts constitute the minimal structural configuration that enables the distribution function across all manifold types.

Process Participation SignatureAssinatura de Participação em Processo

InputsEntradas

{'type': 'FluidPortion', 'count': '1-n', 'constraints': 'any phase'}

OutputsSaídas

{'type': 'FluidPortion', 'count': '1-n', 'constraints': 'same phase as input, potentially different pressures/flow rates'}

TransformationTransformação

fluid stream splitting/combining with potential pressure/flow rate changes

Manifolds can operate in distribution mode (1 input, n outputs) or collection mode (n inputs, 1 output), with fluid composition preserved but flow characteristics modified.

MetadataMetadados

COPI IDCOPI ID	COPI_0000311
IRIIRI	https://www.inf.ufrgs.br/ontologies/copi/COPI_0000311
StatusStatus	exported
Axiom modeModo	necessary
CreatedCriado	2026-04-09
UpdatedAtualizado	2026-06-26
LLM modelModelo LLM	claude-sonnet-4-20250514
VersionVersão	2026-07-13

Quick factsDados rápidos

GenusGênero	Assembly
Root classClasse raiz	Assembly
Axiom modeModo	necessary
FunctionFunção	FluidDistributionFunction
ProcessProcesso	FluidDistributionProcess
PartsPartes	2

Source DefinitionsDefinições nas Fontes 6 sources

ISO 15926-4 MANIFOLD