facility

IRI: https://spec.industrialontologies.org/ontology/construct/Facility

Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/

SubClass Of: engineered system

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › system › engineered system › facility

Direct subclasses:

• factory
• storage facility

Definition

engineered system that consists of buildings, structures, roads, machines, and equipment desgined to provide certain capabilities

Explanatory Notes

candidate IOF Core construct

this definition applies to stationary facilities that have a fixed geospatial location on the ground (not mobile facilities)

Examples

• an oil refinery, a manufacturing plant, an airport

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

The required constructs for providing necessary and sufficient conditions are not available in this release. Namely, the component of a facility such as ‘buidling’ and ‘road’ are not formally defined yet.

Formal Axioms

First-Order Logic Axioms

Facility(x) → EngineeredSystem(x) ∧ ∃s(Site(s) ∧ locatedInAtAllTimes(x,s))

Semi-Formal Natural Language Axioms

if x is a ‘facility’ then x is an ‘engineered system’ that ‘is located in at all times’ some ‘site’

Description Logic

constr:Facility ⊑ constr:EngineeredSystem

constr:Facility ⊑ ∃ bfo:located_in_at_all_times .bfo:site

SubClassOf: constr:EngineeredSystem

SubClassOf: bfo:located_in_at_all_times some bfo:site