consignor role
IRI: https://spec.industrialontologies.org/ontology/construct/ConsignorRole
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 › consignor role
Definition
role held by a business organization or person when it prepares, initiates, and consigns a shipment it owns
Examples
- Pirelli has a consignor role when it prepares and initiates a shipment of 200 tires to a bracnch of Discount Tire in Ann Arbor, MI
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
LA1:ConsignorRole(x) → Role(x) ∧ ∃y∃p∃s((BusinessOrganization(y) ∨ Person(y)) ∧ ShipmentPreparationProcess(p) ∧ Shipment(s) ∧ agentIn(y,p) ∧ isSpecifiedOutputOf(s,p) ∧ owns(y,s) ∧ roleOf(x,y))
LA2:ConsignorRole(x) → Role(x) ∧ ∃y∃p((BusinessOrganization(y) ∨ Person(y)) ∧ ShipmentPreparationProcess(p) ∧ agentIn(y,p) ∧ roleOf(x,y))
Semi-Formal Natural Language Axioms
LA1:if x is a ‘consignor role’ then x is an ‘agent role’ that is the ‘role of’ a ‘business organization’ or ‘person’ when it is ‘agent in’ some ‘shipment preparation process’ p that ‘has specified output’ some ‘shipment’ s and y ‘owns’ s.
LA2:if x is a Consignor Role then x is an Agent Role that is the ‘role of’ a Business Organization or Person y when it ‘agent in’ some Shipment Preparation Process p
Description Logic
constr:ConsignorRole ⊑ constr:AgentRole
constr:ConsignorRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:owns .(constr:Shipment ⊓ ∃ constr:isSpecifiedOutputOf .constr:ShipmentPreparationProcess))
constr:ConsignorRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:agentIn .constr:ConsigningProcess ⊓ ∃ constr:agentIn .constr:ShipmentPreparationProcess)
SubClassOf: constr:AgentRole
SubClassOf: constr:roleOf some ((constr:BusinessOrganization or constr:Person) and constr:owns some (constr:Shipment and constr:isSpecifiedOutputOf some constr:ShipmentPreparationProcess))
SubClassOf: constr:roleOf some ((constr:BusinessOrganization or constr:Person) and constr:agentIn some constr:ConsigningProcess and constr:agentIn some constr:ShipmentPreparationProcess)