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