ship to location role

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

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 to location role

Definition

location role held by a geospatial site when it is the location at which some receiving process occures

Examples

• role held by the site of a Ford dealership when it is the delivery location for a shipment of cars from Ford

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

ShipToLocationRolel(x) → LocatinRole(x) ∧ ∃g∃p∃b(GeospatialSite(g) ∧ ReceivingProcess(p) ∧ isSiteOf(g,p) ∧ roleOf(x,g))

Semi-Formal Natural Language Axioms

if x is a ‘ship to location role’ then x is a ‘role’ that is the ‘role of’ some ‘geospatial site’ and ‘is site of’ some ‘receiving process’

Description Logic

constr:ShipToLocationRole ⊑ constr:LocationRole

constr:ShipToLocationRole ⊑ ∃ constr:roleOf .(constr:GeospatialSite ⊓ ∃ constr:isSiteOf .constr:ReceivingProcess)

SubClassOf: constr:LocationRole

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