consignee role

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

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

SubClass Of: agent role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › consignee role

Definition

role held by a person or business organization when it receives a shipment from a carrier and owns the shipment after the receipt

Examples

• Discount Tire has a consignee role when it receives a shipment of 200 tires from Pirelli

Primitive Class

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

Primitive Rationale

The required constructs for creation of a formal definition are not available in this release.

Formal Axioms

First-Order Logic Axioms

ConsigneeRole(x) → Role(x) ∧ ∃y∃p((BusinessOrganization(y) ∨ Person(y)) ∧ ReceivingProcess(p) ∧ participatesInAtSomeTime(y,p) ∧ roleOf(x,y))

Semi-Formal Natural Language Axioms

if x is a ‘consignee role’ then x is an ‘agent role’ that is the ‘role of’ a ‘business organization’ or ‘person’ when it ‘participates in at some time’ some ‘receiving process’ that ‘has participant at some time’ some ‘carrier’

Description Logic

constr:ConsigneeRole ⊑ constr:AgentRole

constr:ConsigneeRole ⊑ ∃ bfo:participates_in_at_some_time .(constr:ReceivingProcess ⊓ ∃ bfo:has_participant_at_some_time .constr:Carrier) ⊓ ∃ constr:roleOf .(constr:BusinessOrganization ⊔ constr:Person)

SubClassOf: constr:AgentRole

SubClassOf: bfo:participates_in_at_some_time some (constr:ReceivingProcess and bfo:has_participant_at_some_time some constr:Carrier) and constr:roleOf some (constr:BusinessOrganization or constr:Person)