customer
IRI: https://spec.industrialontologies.org/ontology/construct/Customer
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 › customer
Definition
person or organization which has a customer role
Semi-Formal Definition:
every instance of ‘customer’ is defined as exactly an instance of ‘person’ or ‘organization’ that ‘has role’ some ‘customer 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
- GE aviation subsidiary and GE Transportation subsidiary when they utilize the steel bought for them by the GE Conglomerate; a person when they utilize a lap top that they bought from Target; a person when they subscribe for a phone plan
Formal Axioms
First-Order Logic Definition
Customer(x) ↔ (Person(x) ∨ Organization(x)) ∧ ∃r(CustomerRole(r) ∧ hasRole(x,r))
Description Logic
EquivalentTo: (constr:Organization or constr:Person) and constr:hasRole some constr:CustomerRole
SubClassOf: constr:Agent