:P99_dissolved leaf node

URI

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

Type

rdf:Property

Label

dissolved

Description

Quantification: one to many, necessary (1,n:0,n)

Scope note:
This property associates the instance of E68 Dissolution with the instance of E74 Group that it disbanded.

Examples:
- The end of The Hole in the Wall Gang (E68) dissolved The Hole in the Wall Gang (E74). (Patterson, 1998)

In First Order Logic:
- P99(x,y) ⇒ E68(x)
- P99(x,y) ⇒ E74(y)
- P99(x,y) ⇒ P11(x,y)
- P99(x,y) ⇒ P93(x,y)

Inherits from

Usage

DOMAIN	PROPERTY	RANGE
:E68_Dissolution	:P99_dissolved	:E74_Group

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

:P99_dissolved a rdf:Property ;
    rdfs:label "löste auf"@de,
        "διέλυσε"@el,
        "dissolved"@en,
        "a dissous"@fr,
        "dissolveu"@pt,
        "распустил"@ru,
        "解散了"@zh ;
    rdfs:comment """Quantification: one to many, necessary (1,n:0,n)

Scope note:
This property associates the instance of E68 Dissolution with the instance of E74 Group that it disbanded.

Examples:
- The end of The Hole in the Wall Gang (E68) dissolved The Hole in the Wall Gang (E74). (Patterson, 1998)

In First Order Logic:
- P99(x,y) ⇒ E68(x)
- P99(x,y) ⇒ E74(y) 
- P99(x,y) ⇒ P11(x,y)
- P99(x,y) ⇒ P93(x,y)
"""@en ;
    rdfs:domain :E68_Dissolution ;
    rdfs:range :E74_Group ;
    rdfs:subPropertyOf :P11_had_participant,
        :P93_took_out_of_existence ;
    owl:inverseOf :P99i_was_dissolved_by .