Link to this page
Brinell Test Ontology-BFO
Last uploaded:
July 30, 2024
Jump to:
| Id | https://spec.industrialontologies.org/ontology/core/Core/ServiceProviderRole
https://spec.industrialontologies.org/ontology/core/Core/ServiceProviderRole
|
|---|---|
| Preferred Name | ServiceProviderRole |
| Type | http://www.w3.org/2002/07/owl#Class |
All Properties
| prefLabel | ServiceProviderRole
|
|---|---|
| is defined by | |
| first-order logic axiom | ServiceProviderRole(x) → AgentRole(x) ∧ ∃y∃p((Organization(y) ∨ Person(y)) ∧ (CommercialService(p) ∨ (OfferingForSaleBusinessProcess(p) ∧ ∃c(CommercialServiceAgreement(c) ∧ hasParticipantAtSomeTime(p,c)))) ∧ participatesInAtSomeTime(y,p) ∧ roleOf(x,y))
|
| prefixIRI | iof-core:ServiceProviderRole
|
| primitive rationale | There are insufficient constructs to create necessary and sufficient conditions. Namely, constructs for economic transactions and ownership are lacking
|
| subClassOf | |
| adapted from | |
| semi-formal natural language axiom | if x is a 'service provider role' then x is an 'agent role' that is the 'role of' some 'person' or 'organization' that 'participates in at some time' some 'commercial service' or some 'offering for sale business process' which 'has participant at some time' some 'commercial service agreement'
|
| type | |
| is primitive | true
|
Add comment
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |