supplier
IRI: https://spec.industrialontologies.org/ontology/construct/Supplier
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 › supplier
Direct subclasses:
Definition
person or organization which has a supplier role
Semi-Formal Definition:
every instance of ‘supplier’ is defined as exactly an instance of ‘person’ or ‘organization’ that ‘has role’ some ‘supplier 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
- logistics service provider; vending machine; the material handling department (which manages the raw material and finished goods in company warehouses, and provides material handling services to manufacturing and other departments within its factories)
Formal Axioms
First-Order Logic Definition
Supplier(x) ↔ Person(x) ∨ Organization(x) ∧ ∃r(SupplierRole(r) ∧ hasRole(x,r))
Description Logic
EquivalentTo: (constr:Organization or constr:Person) and constr:hasRole some constr:SupplierRole
SubClassOf: constr:Agent