distributor role

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

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 › distributor role

Definition

role held by a person or business organization when it buys some material products from a manufacturer and resells them to a wholesaler

Examples

  • Grainger has a distributor role when it sells HVAC units and parts to wholesalers

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:DistributorRole(x) → AgentRole(x) ∧ ∃y∃p∃r∃m((BusinessOrganization(y) ∨ Person(y)) ∧ roleOf(x,y) ∧ OfferingForSaleBusinessProcess(p) ∧ MaterialProductRole(r) ∧ MaterialEntity(m) ∧ agentIn(y,p) ∧ realizes(p,r) ∧ roleOf(r,m))

LA2:DistributorRole(x) → AgentRole(x) ∧ ∃y∃p∃r∃r1∃r2∃m∃d((BusinessOrganization(y) ∨ Person(y)) ∧ roleOf(x,y) ∧ BuyerRole(r) ∧ hasRole(y,r) ∧ BuyingBusinessProcess(p) ∧ hasRealization(r,p) ∧ MaterialProductRole(r1) ∧ SupplierRole(r2) ∧ MaterialEntity(m) ∧ Manufacturer(d) ∧ realizes(p,r1) ∧ roleOf(r1,m) ∧ realizes(p,r2) ∧ roleOf(r2,d))

LA3:DistributorRole(x) → AgentRole(x) ∧ ∃y∃p∃r1∃r2∃m∃e((BusinessOrganization(y) ∨ Person(y)) ∧ roleOf(x,y) ∧ SupplyingBusinessProcess(p) ∧ agentIn(y,p) ∧ Wholesaler(w) ∧ BuyerRole(r1) ∧ roleOf(r1,w) ∧ MaterialEntity(m) ∧ MaterialProductRole(r2) ∧ roleOf(r2,m) ∧ realizes(p,r1) ∧ realizes(p,r2))

Semi-Formal Natural Language Axioms

LA1:if x is a ‘distributor role’ then x is an ‘agent role’ that is ‘role of’ some ‘business organization’ or ‘person’ who is ‘agent in’ some ‘offering for sale business process’ that ‘realizes’ some ‘material product role’ that is ‘role of’ some ‘material entity’

LA2:if x is a ‘distributor role’ then x is an ‘agent role’ that is ‘role of’ some ‘business organization’ or ‘person’ y who ‘has role’ some ‘buyer role’ that ‘has realization’ some ‘buying business process’ p that ‘realizes’ some ‘material product role’ that is ‘role of’ some ‘material entity’ and p ‘realizes’ some ‘supplier role’ that is ‘role of’ some ‘manufacturer’

LA3:if x is a ‘distributor role’ then x is an ‘agent role’ that is ‘role of’ some ‘business organization’ y or ‘person’ y who is ‘agent in’ some ‘supplying business process p and p ‘realizes’ some ‘material product role’ that is role of’ some ‘material entity’ and p ‘realizes’ some ‘buyer role’ that is ‘role of’ some ‘wholesaler’

Description Logic

constr:DistributorRole ⊑ constr:AgentRole

constr:DistributorRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:agentIn .(constr:SellingBusinessProcess ⊓ ∃ bfo:realizes .(constr:MaterialProductRole ⊓ ∃ constr:roleOf .bfo:material_entity)))

constr:DistributorRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:agentIn .(constr:SupplyingBusinessProcess ⊓ ∃ bfo:realizes .(constr:BuyerRole ⊓ ∃ constr:roleOf .constr:Wholesaler) ⊓ ∃ bfo:realizes .(constr:MaterialProductRole ⊓ ∃ constr:roleOf .bfo:material_entity)))

SubClassOf: constr:AgentRole

SubClassOf: constr:roleOf some ((constr:BusinessOrganization or constr:Person) and constr:agentIn some (constr:SellingBusinessProcess and bfo:realizes some (constr:MaterialProductRole and constr:roleOf some bfo:material_entity)))

SubClassOf: constr:roleOf some ((constr:BusinessOrganization or constr:Person) and constr:agentIn some (constr:SupplyingBusinessProcess and bfo:realizes some (constr:BuyerRole and constr:roleOf some constr:Wholesaler) and bfo:realizes some (constr:MaterialProductRole and constr:roleOf some bfo:material_entity)))