Link to this page
Brinell Test Ontology-BFO
Last uploaded:
July 30, 2024
Jump to:
| 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 |
Add comment
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |
Create mapping