buyer role

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

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: agent role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › buyer role

Definition

agent role held by a person or organization when it buys a product or a service

Examples

• Pfizer has a buyer role when it buys a bulk of chemicals from MiliporeSigma; a person has a buyer role when they buy groceries at the supermarket; a manufacturing enterprise has a buyer role when they hire an external organization to do some manufacturing process (manufacturing as a service); a person has a buyer role when they hire someone to repair a broken pipe

Adapted From

• OAGIS

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are insufficient constructs to create necessary and sufficient conditions. Namely, constructs for economic transactions and ownership are lacking

Formal Axioms

First-Order Logic Axioms

BuyerRole(x) → Role(x) ∧ ∃y∃p ((Organization(y) ∨ Person(y)) ∧ BuyingBusinessProcess(p) ∧ participatesInAtSomeTime(y,p) ∧ roleOf(x, y))

Semi-Formal Natural Language Axioms

if x is a ‘buyer role’ x then x is an ‘agent role’ that is the ‘role of’ some ‘person’ or ‘organization’ when it ‘participates in at some time’ some ‘buying business process’

Description Logic

constr:BuyerRole ⊑ constr:AgentRole

constr:BuyerRole ⊑ ∃ constr:roleOf .((constr:Organization ⊔ constr:Person) ⊓ ∃ bfo:participates_in .constr:BuyingBusinessProcess)

SubClassOf: constr:AgentRole

SubClassOf: constr:roleOf some ((constr:Organization or constr:Person) and bfo:participates_in some constr:BuyingBusinessProcess)