Jump to:
loading...| 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 |
Create mapping