is contained in


URI

http://semanticscience.org/resource/isContainedIn

Label

is contained in

Description

A is contained in B iff the spatial region occupied by A is part of the spatial region occupied by B and A is not part of B. [T]

Sub Property

Usage

DOMAINPROPERTYRANGE
owl:Thing (inferred) is contained in owl:Thing (inferred)

Implementation

@prefix dct: <http://purl.org/dc/terms/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sio: <http://semanticscience.org/resource/> .

sio:isContainedIn a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "is contained in"@en ;
    dct:description "A is contained in B iff the spatial region occupied by A is part of the spatial region occupied by B and A is not part of B. [T]"@en ;
    sio:equivalentTo "OBO_REL:contained_in" ;
    sio:subset "core" ;
    rdfs:isDefinedBy <http://semanticscience.org/ontology/sio/v1.53/sio-subset-labels.owl> ;
    rdfs:subPropertyOf sio:isLocatedIn ;
    owl:inverseOf sio:contains .