:P135_created_type leaf node


URI

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

Type

rdf:Property

Label

created type

Description

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)

Usage

DOMAINPROPERTYRANGE
:E83_Type_Creation :P135_created_type :E55_Type

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

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