http://www.cidoc-crm.org/cidoc-crm/P99i_was_dissolved_by
rdf:Property
Quantification of the inverse property: one to many, necessary (1,n:0,n)
Scope note of the inverse property:
This property associates the instance of E68 Dissolution with the instance of E74 Group that it disbanded.
Examples of the inverse property:
- The end of The Hole in the Wall Gang (E68) dissolved The Hole in the Wall Gang (E74). (Patterson, 1998)
In First Order Logic of the inverse property:
- P99(x,y) ⇒ E68(x)
- P99(x,y) ⇒ E74(y)
- P99(x,y) ⇒ P11(x,y)
- P99(x,y) ⇒ P93(x,y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E74_Group | :P99i_was_dissolved_by | :E68_Dissolution |
@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#> .
:P99i_was_dissolved_by a rdf:Property ;
rdfs:label "wurde aufgelöst durch"@de,
"διαλύθηκε από"@el,
"was dissolved by"@en,
"a été dissous par"@fr,
"foi dissolvido por"@pt,
"был распущeн"@ru,
"被解散"@zh ;
rdfs:comment """Quantification of the inverse property: one to many, necessary (1,n:0,n)
Scope note of the inverse property:
This property associates the instance of E68 Dissolution with the instance of E74 Group that it disbanded.
Examples of the inverse property:
- The end of The Hole in the Wall Gang (E68) dissolved The Hole in the Wall Gang (E74). (Patterson, 1998)
In First Order Logic of the inverse property:
- 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 :E74_Group ;
rdfs:range :E68_Dissolution ;
rdfs:subPropertyOf :P11i_participated_in,
:P93i_was_taken_out_of_existence_by ;
owl:inverseOf :P99_dissolved .