:P106_is_composed_of


URI

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

Type

rdf:Property

Label

is composed of

Description

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

Scope note:
This property associates an instance of E90 Symbolic Object with a part of it that is by itself an instance of E90 Symbolic Object, such as fragments of texts or clippings from an image.
This property is transitive asymmetric.

Examples:
- This Scope note of property P106 (E33) is composed of ‘fragments of texts’ (E33).
- ‘recognizable’ (E90) is composed of ‘ecognizabl’ (E90).

In First Order Logic:
- P106(x,y) ⇒ E90(x)
- P106(x,y) ⇒ E90(y)
- [P106(x,y) ∧ P106(y,z)] ⇒ P106(x,z)
- P106(x,y) ⇒ ¬P106(y,x)

Sub Property

Usage

DOMAINPROPERTYRANGE
:E90_Symbolic_Object :P106_is_composed_of :E90_Symbolic_Object

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#> .

:P106_is_composed_of a rdf:Property ;
    rdfs:label "ist zusammengesetzt aus"@de,
        "αποτελείται από"@el,
        "is composed of"@en,
        "est composé de"@fr,
        "é composto de"@pt,
        "составлeн из"@ru,
        "组成成分是"@zh ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property associates an instance of E90 Symbolic Object with a part of it that is by itself an instance of E90 Symbolic Object, such as fragments of texts or clippings from an image.
This property is transitive asymmetric.

Examples:
- This Scope note of property P106 (E33) is composed of ‘fragments of texts’ (E33).
- ‘recognizable’ (E90) is composed of ‘ecognizabl’ (E90).

In First Order Logic:
- P106(x,y) ⇒ E90(x)
- P106(x,y) ⇒ E90(y)
- [P106(x,y) ∧ P106(y,z)] ⇒ P106(x,z)
- P106(x,y) ⇒ ¬P106(y,x)
"""@en ;
    rdfs:domain :E90_Symbolic_Object ;
    rdfs:range :E90_Symbolic_Object ;
    owl:inverseOf :P106i_forms_part_of .