buyer
IRI: https://spec.industrialontologies.org/ontology/construct/Buyer
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: agent
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › agent › buyer
Definition
person or organization which has a buyer role
Semi-Formal Definition:
every instance of ‘buyer’ is defined as exactly an instance of ‘person’ or ‘organization’ that ‘has role’ some ‘buyer role’
Explanatory Notes
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
- Pfizer when it buys a bulk of chemicals from MiliporeSigma; a person is when they buy groceries at the supermarket; a manufacturing enterprise when they hire an external organization to do some manufacturing process (manufacturing as a service); a person when they hire someone to repair a broken pipe
Formal Axioms
First-Order Logic Definition
Buyer(x) ↔ Person(x) ∨ Organization(x) ∧ ∃r(BuyerRole(r) ∧ hasRole(x,r))
Description Logic
EquivalentTo: (constr:Organization or constr:Person) and constr:hasRole some constr:BuyerRole
SubClassOf: constr:Agent