s4envi:isComponentOf — is component of

IRI
https://saref.etsi.org/saref4envi/isComponentOf
Is defined by
https://saref.etsi.org/saref4envi/v1.1.2/
Is referenced by
https://saref.etsi.org/saref4envi/v1.1.2/
Download serialization
License

Definition of s4envi:isComponentOf

Defined in https://saref.etsi.org/saref4envi/v1.1.2/ as:

A relation between a system and the system it belongs to as a component.

Description as an Object Property

has characteristics
transitive
is inverse of
s4envi:hasComponent

Turtle

@prefix dct: <http://purl.org/dc/terms/> .
@prefix ns1: <http://www.w3.org/2004/02/skos/core#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix s4envi: <https://saref.etsi.org/saref4envi/> .

s4envi:hasComponent owl:inverseOf s4envi:isComponentOf .

s4envi:System rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom s4envi:System ;
            owl:onProperty s4envi:isComponentOf ] .

<https://saref.etsi.org/saref4envi/v1.1.2/> dct:references s4envi:isComponentOf ;
    dct:subject s4envi:isComponentOf .

s4envi:isComponentOf a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "is component of"@en ;
    dct:isReferencedBy <https://saref.etsi.org/saref4envi/v1.1.2/> ;
    rdfs:comment "A relation between a system and the system it belongs to as a component."@en ;
    rdfs:isDefinedBy <https://saref.etsi.org/saref4envi/v1.1.2/> ;
    rdfs:seeAlso <https://saref.etsi.org/saref4envi/v1.1.2/> ;
    ns1:hiddenLabel "isComponentOf" .