http://www.cidoc-crm.org/cidoc-crm/P59_has_section
rdf:Property
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)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E18_Physical_Thing | :P59_has_section | :E53_Place |
@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 .