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 |
note |
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 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. 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)) |
preferred label |
customer |
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 |