:P166_was_a_presence_of leaf node


URI

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

Type

rdf:Property

Label

was a presence of

Description

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

Scope note:
This property associates an instance of E93 Presence with the instance of E92 Spacetime Volume of which it represents a temporal restriction (i.e. a time-slice). Instantiating this property constitutes a necessary part of the identity of the respective instance of E93 Presence.

Examples:
- The Roman Empire on 19(th) August AD 14 (E93) was a presence of The Roman Empire (E4). (Clare and Edwards, 1992)

In First Order Logic:
- P166(x,y) ⇒ E93(x)
- P166(x,y) ⇒ E92(y)
- P166(x,y) ⇒ P10(x,y)

Usage

DOMAINPROPERTYRANGE
:E93_Presence :P166_was_a_presence_of :E92_Spacetime_Volume

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

:P166_was_a_presence_of a rdf:Property ;
    rdfs:label "was a presence of"@en,
        "a été une présence de"@fr,
        "был в присутствии"@ru ;
    rdfs:comment """Quantification: many to one, necessary (1,1:0,n)

Scope note:
This property associates an instance of E93 Presence with the instance of E92 Spacetime Volume of which it represents a temporal restriction (i.e. a time-slice). Instantiating this property constitutes a necessary part of the identity of the respective instance of E93 Presence.

Examples:
- The Roman Empire on 19(th) August AD 14 (E93) was a presence of The Roman Empire (E4). (Clare and Edwards, 1992)

In First Order Logic:
- P166(x,y) ⇒ E93(x)
- P166(x,y) ⇒ E92(y)
- P166(x,y) ⇒ P10(x,y)
"""@en ;
    rdfs:domain :E93_Presence ;
    rdfs:range :E92_Spacetime_Volume ;
    rdfs:subPropertyOf :P10_falls_within ;
    owl:inverseOf :P166i_had_presence .