http://www.cidoc-crm.org/cidoc-crm/P135_created_type
rdf:Property
Quantification: one to many, necessary (1,n:0,1)
Scope note:
This property identifies the instance of E55 Type, which is created in an instance of E83 Type Creation activity.
Examples:
- The description of a new ribbon worm species by Bürger (E83) created type ‘Lineus kennelii’ (E55). (Bürger, 1892)
In First Order Logic:
- P135(x,y) ⇒ E83(x)
- P135(x,y) ⇒ E55(y)
- P135(x,y) ⇒ P94(x,y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E83_Type_Creation | :P135_created_type | :E55_Type |
@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#> .
:P135_created_type a rdf:Property ;
rdfs:label "erschuf Typus"@de,
"δημιούργησε τύπο"@el,
"created type"@en,
"a créé le type"@fr,
"criou tipo"@pt,
"создал тип"@ru,
"创建类型"@zh ;
rdfs:comment """Quantification: one to many, necessary (1,n:0,1)
Scope note:
This property identifies the instance of E55 Type, which is created in an instance of E83 Type Creation activity.
Examples:
- The description of a new ribbon worm species by Bürger (E83) created type ‘Lineus kennelii’ (E55). (Bürger, 1892)
In First Order Logic:
- P135(x,y) ⇒ E83(x)
- P135(x,y) ⇒ E55(y)
- P135(x,y) ⇒ P94(x,y)
"""@en ;
rdfs:domain :E83_Type_Creation ;
rdfs:range :E55_Type ;
rdfs:subPropertyOf :P94_has_created ;
owl:inverseOf :P135i_was_created_by .