@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 s4auto: <https://saref.etsi.org/saref4auto/> .

s4auto:Vehicle rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty s4auto:isMemberOfVehicleEnvironment ;
            owl:someValuesFrom s4auto:VehicleEnvironment ] .

s4auto:isMemberOfVehicleEnvironment a owl:ObjectProperty ;
    rdfs:label "isMemberOfVehicleEnvironment"@en ;
    dct:isReferencedBy <https://saref.etsi.org/saref4auto/v1.1.1/> ;
    rdfs:comment "A relation to express that an entity, e.g., a vehicle, can be member of  another vehicle's environment"@en ;
    rdfs:isDefinedBy <https://saref.etsi.org/saref4auto/v1.1.1/> ;
    rdfs:seeAlso <https://saref.etsi.org/saref4auto/v1.1.1/> ;
    rdfs:subPropertyOf s4auto:isMemberOf ;
    ns1:hiddenLabel "isMemberOfVehicleEnvironment" .

<https://saref.etsi.org/saref4auto/v1.1.1/> dct:references s4auto:isMemberOfVehicleEnvironment ;
    dct:subject s4auto:isMemberOfVehicleEnvironment .