retailer role
IRI: https://spec.industrialontologies.org/ontology/construct/RetailerRole
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 › retailer role
Definition
role held by a person or business organization when it buys products (material product) from manufacturers or wholesalers and offers them for sale to customers who are the end users of the product
Examples
- Home Depot has a retailer role when it sells construction materials to contractors
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: RetailerRole(x) → AgentRole(x) ∧ ∃y∃p∃r∃r1∃r2∃m∃f((BusinessOrganization(y) ∨ Person(y)) ∧ roleOf(x,y) ∧ BuyerRole(r) ∧ hasRole(y,r) ∧ BuyingBusinessProcess(p) ∧ hasRealization(r,p) ∧ MaterialProductRole(r1) ∧ SupplierRole(r2) ∧ MaterialEntity(m) ∧ realizes(p,r1) ∧ roleOf(r1,m) ∧ realizes(p,r2) ∧ roleOf(r2,f) → (Manufacturer(f) ∨ Wholesaler(f)))
LA2:RetailerRole(x) → AgentRole(x) ∧ ∃y∃p∃r1∃r2∃m∃e((BusinessOrganization(y) ∨ Person(y)) ∧ roleOf(x,y) ∧ SupplyingBusinessProcess(p) ∧ agentIn(y,p) ∧ Customer(c) ∧ BuyerRole(r1) ∧ roleOf(r1,c) ∧ MaterialEntity(m) ∧ MaterialProductRole(r2) ∧ roleOf(r2,m) ∧ realizes(p,r1) ∧ realizes(p,r2))
LA3:RetailerRole(x) → AgentRole(x) ∧ ∃y∃p∃r∃m((BusinessOrganization(y) ∨ Person(y)) ∧ roleOf(x,y) ∧ OfferingForSaleBusinessProcess(p) ∧ agentIn(y,p) ∧ MaterialProductRole(r) ∧ MaterialEntity(m) ∧ realizes(p,r) ∧ roleOf(r,m))
Semi-Formal Natural Language Axioms
LA1: if x is a ‘retailer role’ then x is an ‘agent role’ that is ‘role of’ some ‘business organization’ or ‘person’ y that ‘has role’ some ‘buyer role’ and ‘has realization’ some ‘buying business process’ that ‘realizes’ some ‘material product role’ that is ‘role of’ some ‘material entity’ and ‘realizes’ some ‘supplier role’ that is ‘role of’ some ‘manufacturer’ or ‘wholesaler’
LA2:if x is a ‘retailer role’ then x is an ‘agent role’ that is ‘role of’ some ‘business organization’ 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 ‘customer’
LA3:if x is a ‘retailer 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’
Description Logic
constr:RetailerRole ⊑ constr:AgentRole
constr:RetailerRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:agentIn .(constr:SellingBusinessProcess ⊓ ∃ bfo:realizes .(constr:MaterialProductRole ⊓ ∃ constr:roleOf .bfo:material_entity)))
constr:RetailerRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:agentIn .(constr:SupplyingBusinessProcess ⊓ ∃ bfo:realizes .(constr:BuyerRole ⊓ ∃ constr:roleOf .constr:Customer) ⊓ ∃ bfo:realizes .(constr:MaterialProductRole ⊓ ∃ constr:roleOf .bfo:material_entity)))
constr:RetailerRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:hasRole .(constr:BuyerRole ⊓ ∃ bfo:has_realization .(constr:BuyingBusinessProcess ⊓ ∃ bfo:realizes .(constr:MaterialProductRole ⊓ ∃ constr:roleOf .bfo:material_entity) ⊓ ∃ bfo:realizes .(constr:SupplierRole ⊓ ∃ constr:roleOf .(constr:Manufacturer ⊔ constr:Wholesaler)))))
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:Customer) and bfo:realizes some (constr:MaterialProductRole and constr:roleOf some bfo:material_entity)))
SubClassOf: constr:roleOf some ((constr:BusinessOrganization or constr:Person) and constr:hasRole some (constr:BuyerRole and bfo:has_realization some (constr:BuyingBusinessProcess and bfo:realizes some (constr:MaterialProductRole and constr:roleOf some bfo:material_entity) and bfo:realizes some (constr:SupplierRole and constr:roleOf some (constr:Manufacturer or constr:Wholesaler)))))