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