commercial service agreement
IRI: https://spec.industrialontologies.org/ontology/construct/CommercialServiceAgreement
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: agreement
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › agreement › commercial service agreement
Direct subclasses:
Definition
agreement between a customer and service provider that is about some commercial service to be provided by the service provider in exchange for compensation from the customer
Examples
- a cellphone plan, a maintenance service agreement, equipment lease agreement that includes a maintenance plan
Counter-Examples
- a blanket purchase order, commodity contract
Adapted From
- https://schema.org/, http://www.heppnetz.de/projects/goodrelations/ and http://dini-ag-kim.github.io/service-ontology/service.html
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
See the general discussion and rationale provided for informational entities under ‘information content entity’.
Formal Axioms
First-Order Logic Axioms
Agreement(x) ∧ ∃c∃y∃z(CommercialService(c) ∧ ServiceProviderRole(y) ∧ CustomerRole(z) ∧ isAbout(x,c) ∧ prescribes(x,y) ∧ prescribes(x,z)) → CommercialServiceAgreement(x)
Semi-Formal Natural Language Axioms
If x is an ‘agreement’ that ‘is about’ some ‘commercial service’ and that ‘prescribes’ some ‘customer role’ and some ‘service provider role’ then x is a ‘commercial service agreement’
Description Logic
constr:CommercialServiceAgreement ⊑ constr:Agreement
constr:Agreement ⊓ ∃ constr:isAbout .constr:CommercialService ⊓ ∃ constr:prescribes .constr:CustomerRole ⊓ ∃ constr:prescribes .constr:ServiceProviderRole ⊑ constr:CommercialServiceAgreement
SubClassOf: constr:Agreement
constr:Agreement and constr:isAbout some constr:CommercialService and constr:prescribes some constr:CustomerRole and constr:prescribes some constr:ServiceProviderRole SubClassOf: constr:CommercialServiceAgreement