loading...| Preferred Name | Supplier | |
| Synonyms |
|
|
| Definitions |
Supplier(x) ↔ Person(x) ∨ Organization(x) ∧ ∃r(SupplierRole(r) ∧ hasRole(x,r)) every instance of 'supplier' is defined as exactly an instance of 'person' or 'organization' that 'has role' some 'supplier role' |
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/Supplier |
|
| definition |
Supplier(x) ↔ Person(x) ∨ Organization(x) ∧ ∃r(SupplierRole(r) ∧ hasRole(x,r)) every instance of 'supplier' is defined as exactly an instance of 'person' or 'organization' that 'has role' some 'supplier role' |
|
| 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 |
Supplier(x) ↔ Person(x) ∨ Organization(x) ∧ ∃r(SupplierRole(r) ∧ hasRole(x,r)) |
|
| is defined by | ||
| prefixIRI |
iof-core:Supplier |
|
| prefLabel |
Supplier |
|
| semi-formal natural language definition |
every instance of 'supplier' is defined as exactly an instance of 'person' or 'organization' that 'has role' some 'supplier role' |
|
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/Agent |