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 |