physical site
IRI: https://spec.industrialontologies.org/ontology/construct/PhysicalSite
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 site
Definition
object aggregate that is a physical, geographical, or logical grouping of physical areas, work centers or work units determined by the enterprise
Explanatory Notes
1) A geographical location and the main manufacturing capability typically define a physical site. 2) A site usually has a manufacturing capability associated with a particular family of products. 3) The boundaries (scope) of the site are typically determined by business/organizational criteria and not technical criteria.
Examples
- refinery located in Houston, TX, which belongs to an oil and gas company; oil terminal located at the coast of Houston, TX, which belongs to an oil and gas company; factory that produces an aircraft line and belongs to an aerospace alliance; facility that performs maintenance, repair, and overhaul services on an aircraft line and belongs to an aerospace alliance; antibiotic production facility that belongs to a pharmaceutical company; oral liquids manufacturing plant that belongs to a pharmaceutical company; factory that produces SUV cars and belongs to a multinational automotive manufacturer; proving ground facility where a multinational automotive manufacturer tests its vehicles
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
PhysicalSite(x) → ObjectAggregate(x) ∧ ∀y(hasMemberPartAtSomeTime(x, y) → (PhysicalArea(y) ∨ WorkCenter(y) ∨ WorkUnit(y))) ∧ ∃i,e(InformationContentEntity(i) ∧ prescribedBy(x, i) ∧ Enterprise(e) ∧ genericallyDependsOnAtSomeTime(i, e))
Semi-Formal Natural Language Axioms
if x is a ’physical site’ then x is an ‘object aggregate’ that ‘has member part at some time’ only a ‘physical area’, ‘work center’, or ‘work unit’, and is ‘prescribed by’ some ‘information content entity’ that ‘generically depends on at some time’ some ‘enterprise’
Description Logic
constr:PhysicalSite ⊑ bfo:object_aggregate
constr:PhysicalSite ⊑ ∀ bfo:has_member_part_at_some_time .(constr:PhysicalArea ⊔ constr:WorkCenter ⊔ constr:WorkUnit)
constr:PhysicalSite ⊑ ∃ constr:prescribedBy .(constr:InformationContentEntity ⊓ ∃ bfo:generically_depends_on_at_some_time .constr:Enterprise)
constr:PhysicalSite ⊓ constr:Enterprise ⊑ ⊥
constr:PhysicalSite ⊓ constr:PhysicalArea ⊑ ⊥
SubClassOf: bfo:object_aggregate
SubClassOf: bfo:has_member_part_at_some_time only (constr:PhysicalArea or constr:WorkCenter or constr:WorkUnit)
SubClassOf: constr:prescribedBy some (constr:InformationContentEntity and bfo:generically_depends_on_at_some_time some constr:Enterprise)
constr:PhysicalSite DisjointWith: (constr:Enterprise, constr:PhysicalArea, constr:WorkCenter, constr:WorkUnit)