Brinell Test Ontology-BFO

Last uploaded: July 30, 2024

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

Delete	Subject	Author	Type	Created
No notes to display

Delete	Mapping To	Ontology	Source
	http://www.limics.fr/ontologies/ontoparonsoc#PrestataireDeService	ONTOPARON	LOOM
	http://www.limics.fr/ontologies/ontoparonsoc#PrestataireDeService	ONTOPARON_SOCIAL	LOOM