Link to this page
Brinell Test Ontology-BFO
Last uploaded:
July 30, 2024
Jump to:
| Preferred Name | ManufacturerRole | |
| Synonyms |
|
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/ManufacturerRole |
|
| adapted from |
bizfluent.com
|
|
| first-order logic axiom |
ManufacturerRole(x) → Role(x) ∧ ∃y∃p(Organization(y) ∧ ProductProductionProcess(p) ∧ participatesInAtSomeTime(y,p) ∧ roleOf(x,y))
|
|
| is defined by | ||
| is primitive |
true
|
|
| prefixIRI |
iof-core:ManufacturerRole
|
|
| prefLabel |
ManufacturerRole
|
|
| primitive rationale |
There are insufficient constructs to create necessary and sufficient conditions. Namely, constructs for linking the manufacturer to a product it produces are still lacking.
|
|
| semi-formal natural language axiom |
if x is a 'manufacturer role' x then x is an 'agent role' that is the 'role of' some 'organization' when it 'participates in at some time' some 'product production process'
|
|
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/AgentRole |
Add comment
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |
Create mapping