commercial service realizable entity

IRI: https://spec.industrialontologies.org/ontology/construct/CommercialServiceRealizableEntity

Defined In: https://spec.industrialontologies.org/ontology/productservicesystem/ProductServiceSystem/

SubClass Of: bfo:realizable entity

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › commercial service realizable entity

Definition

realizable entity that concretizes a commercial service specification which is about a product and that is realized in a commercial service

Description Logic

constr:CommercialServiceRealizableEntity ≡ bfo:realizable_entity ⊓ ∃ bfo:concretizes_at_all_times .(constr:CommercialServiceSpecification ⊓ ∃ constr:isAbout .constr:MaterialProduct)

constr:CommercialServiceRealizableEntity ⊑ bfo:realizable_entity

constr:CommercialServiceRealizableEntity ⊑ ∀ bfo:has_realization .constr:CommercialService

EquivalentTo: bfo:realizable_entity and bfo:concretizes_at_all_times some (constr:CommercialServiceSpecification and constr:isAbout some constr:MaterialProduct)

SubClassOf: bfo:realizable_entity

SubClassOf: bfo:has_realization only constr:CommercialService