ship from location role

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

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

SubClass Of: location role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › location role › ship from location role

Definition

location role held by a geospatial site when it is the location at which some dispatch process occurs

Examples

• role held by the site of a Walmart warehouse when it is the location from which a shipment initiates

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.

Formal Axioms

First-Order Logic Axioms

ShipFromLocationRolel(x) → LocatinRole(x) ∧ ∃g∃p∃b(GeospatialSite(g) ∧ ShipmentPreparationProcess(p) ∧ BillOfLading(b) ∧ isSiteOf(g,p) ∧ isPrescribedBy(p,b) ∧ roleOf(x,g))

Semi-Formal Natural Language Axioms

if x is a ‘ship from location role’ then x is a ‘role’ that is the ‘role of’ some ‘geospatial site’ and ‘is site of’ some ‘shipment preparation process’

Description Logic

constr:ShipFromLocationRole ⊑ constr:LocationRole

constr:ShipFromLocationRole ⊑ ∃ constr:roleOf .(constr:GeospatialSite ⊓ ∃ constr:isSiteOf .constr:ShipmentPreparationProcess)

SubClassOf: constr:LocationRole

SubClassOf: constr:roleOf some (constr:GeospatialSite and constr:isSiteOf some constr:ShipmentPreparationProcess)