wholesaler
IRI: https://spec.industrialontologies.org/ontology/construct/Wholesaler
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: agent
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › agent › wholesaler
Definition
person or business organization that buys products from distributors and resells them to retailers or other business organizations
Semi-Formal Definition:
every instance of ‘wholesaler’ defined as exactly an instance of ‘person’ or ‘business organization’ that ‘has role’ some ‘wholesaler role’
Explanatory Notes
A distributor that sells products to a retailer. A wholesaler will sell his product in bulk quantities to retailers, allowing the retailer to take advantage of a lower price than if he were to buy single items.
See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.
Examples
- Sysco (The biggest wholesale company in America), Alibaba
Formal Axioms
First-Order Logic Definition
Wholesaler(x) ↔ (BusinessOrganization(x) ∨ Person(x)) ∧ ∃r(WholesalerRole(r) ∧ hasRole(x,r))
Description Logic
EquivalentTo: constr:Agent and constr:hasRole some constr:WholesalerRole
SubClassOf: constr:Agent