physical area
IRI: https://spec.industrialontologies.org/ontology/construct/PhysicalArea
Defined In: https://spec.industrialontologies.org/ontology/biopharma/ManufacturingSystemOrganization/
SubClass Of: bfo:object aggregate
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › physical area
Definition
object aggregate that is a physical, geographical, or logical grouping of one or more work centers or work units within a physical site
Explanatory Notes
1) The boundaries (scope) of the area are typically determined by business/organizational criteria and not technical criteria. 2) Within the manufacturing domain, area typically serves as a way to organize manufacturing operations (ISA95 operation) within a site.
Examples
- dock area of an oil terminal; fuselage assembly area of an aircraft factory; ground testing area of a facility that performs maintenance, repair, and overhaul services on an aircraft line; liquid effluent treatment plant that is part of an antibiotic manufacturing facility; utilities area of an oral liquids manufacturing plant
Adapted From
- ISA95 and ISA88 Part 1
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
This term is expected to remain primitive as the exact grouping criteria are organization specific
Formal Axioms
First-Order Logic Axioms
PhysicalArea(x) → ObjectAggregate(x) ∧ ∀y(hasMemberPartAtSomeTime(x,y) → (WorkCenter(y) ∨ WorkUnit(y))) ∧ ∃z(PhysicalSite(z) ∧ memberPartOfAtAllTimes(x,z))
Semi-Formal Natural Language Axioms
if x is a ‘physical area’, then x is an ‘object aggregate’, every entity that x ‘has member part at some time’ is a ‘work center’ or ‘work unit’, and x is ‘member part of at all times’ some ‘physical site’
Description Logic
constr:PhysicalArea ⊑ bfo:object_aggregate
constr:PhysicalArea ⊑ ∀ bfo:has_member_part_at_some_time .(constr:WorkCenter ⊔ constr:WorkUnit)
constr:PhysicalArea ⊑ ∃ bfo:member_part_of_at_all_times .constr:PhysicalSite
constr:PhysicalArea ⊓ constr:Enterprise ⊑ ⊥
constr:PhysicalArea ⊓ constr:PhysicalSite ⊑ ⊥
SubClassOf: bfo:object_aggregate
SubClassOf: bfo:has_member_part_at_some_time only (constr:WorkCenter or constr:WorkUnit)
SubClassOf: bfo:member_part_of_at_all_times some constr:PhysicalSite
constr:PhysicalArea DisjointWith: (constr:Enterprise, constr:PhysicalSite, constr:WorkCenter, constr:WorkUnit)