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