:P59_has_section leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P59_has_section

Type

rdf:Property

Label

has section

Description

Quantification: many to many (0,n:0,n)

Scope note:
This property links an area, i.e., an instance of E53 Place to the instance of E18 Physical Thing upon which it is found. This area may either be identified by a name, or by a geometry in terms of a coordinate system adapted to the shape of the respective instance of E18 Physical Thing. Typically, names identifying sections of physical objects are composed of the name of a kind of part and the name of the object itself, such as “The poop deck of H.M.S. Victory”, which is composed of “poop deck” and “H.M.S. Victory”.

Examples:
- HMS Victory (E22) has section HMS Victory section B347.6 (E53). (Goodwin, 2015)

In First Order Logic:
- P59(x,y) ⇒ E18(x)
- P59(x,y) ⇒ E53(y)

Usage

DOMAINPROPERTYRANGE
:E18_Physical_Thing :P59_has_section :E53_Place

Implementation

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P59_has_section a rdf:Property ;
    rdfs:label "hat Bereich"@de,
        "έχει τομέα"@el,
        "has section"@en,
        "a pour section"@fr,
        "tem seção"@pt,
        "имeeт фрагмeнт"@ru,
        "有区域"@zh ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property links an area, i.e., an instance of E53 Place to the instance of E18 Physical Thing upon which it is found. This area may either be identified by a name, or by a geometry in terms of a coordinate system adapted to the shape of the respective instance of E18 Physical Thing. Typically, names identifying sections of physical objects are composed of the name of a kind of part and the name of the object itself, such as “The poop deck of H.M.S. Victory”, which is composed of “poop deck” and “H.M.S. Victory”.

Examples:
- HMS Victory (E22) has section HMS Victory section B347.6 (E53). (Goodwin, 2015)

In First Order Logic:
- P59(x,y) ⇒ E18(x)
- P59(x,y) ⇒ E53(y)
"""@en ;
    rdfs:domain :E18_Physical_Thing ;
    rdfs:range :E53_Place ;
    rdfs:subPropertyOf :P157i_provides_reference_space_for ;
    owl:inverseOf :P59i_is_located_on_or_within .