Permanent link to this class
IOF Maintenance Working Group Reference Ontology
loading...| Preferred Name |
customer |
| Definitions |
every instance of 'customer' is defined as exactly an instance of 'person' or 'organization' that 'has role' some 'customer role' Customer(x) ↔ (Person(x) ∨ Organization(x)) ∧ ∃r(CustomerRole(r) ∧ hasRole(x,r)) |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/Customer |
| definition |
every instance of 'customer' is defined as exactly an instance of 'person' or 'organization' that 'has role' some 'customer role' person or organization which has a customer role Customer(x) ↔ (Person(x) ∨ Organization(x)) ∧ ∃r(CustomerRole(r) ∧ hasRole(x,r)) |
| example |
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 |
| explanatory note |
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. |
| first order logic definition |
Customer(x) ↔ (Person(x) ∨ Organization(x)) ∧ ∃r(CustomerRole(r) ∧ hasRole(x,r)) |
| is defined by | |
| label |
customer |
| natural language definition |
person or organization which has a customer role |
| prefixIRI |
iof-core:Customer |
| prefLabel |
customer |
| semi-formal natural language definition |
every instance of 'customer' is defined as exactly an instance of 'person' or 'organization' that 'has role' some 'customer role' |
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/Agent |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |