:P44i_is_condition_of leaf node


URI

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

Type

rdf:Property

Label

is condition of

Description

Quantification of the inverse property: one to many, dependent (0,n:1,1)

Scope note of the inverse property:
This property records an E3 Condition State for some E18 Physical Thing.
This property is a shortcut of the more fully developed path from E18 Physical Thing through P34i was assessed by, E14 Condition Assessment, P35 has identified to E3 Condition State. It offers no information about how and when the E3 Condition State was established, nor by whom.
An instance of E3 Condition State is specific to an instance of E18 Physical Thing.

Examples of the inverse property:
- Silver cup 232 (E22) has condition oxidation traces were present in 1997 (E3). [which has type (P2) oxidation traces (E55)] (fictitious)

In First Order Logic of the inverse property:
- P44(x,y) ⇒ E18(x)
- P44(x,y) ⇒ E3(y)
- P44(x,y) ⇐ (∃z) [E14(z) ˄ P34i(x,z) ˄ P35(z,y)]

Usage

DOMAINPROPERTYRANGE
:E3_Condition_State :P44i_is_condition_of :E18_Physical_Thing

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

:P44i_is_condition_of a rdf:Property ;
    rdfs:label "ist Zustand von"@de,
        "είναι κατάσταση του"@el,
        "is condition of"@en,
        "est l'état matériel de"@fr,
        "estado material de"@pt,
        "являeтся условиeм для"@ru,
        "是状况"@zh ;
    rdfs:comment """Quantification of the inverse property: one to many, dependent (0,n:1,1)

Scope note of the inverse property:
This property records an E3 Condition State for some E18 Physical Thing.
This property is a shortcut of the more fully developed path from E18 Physical Thing through P34i was assessed by, E14 Condition Assessment, P35 has identified to E3 Condition State. It offers no information about how and when the E3 Condition State was established, nor by whom. 
An instance of E3 Condition State is specific to an instance of E18 Physical Thing.

Examples of the inverse property:
- Silver cup 232 (E22) has condition oxidation traces were present in 1997 (E3). [which has type (P2) oxidation traces (E55)] (fictitious)

In First Order Logic of the inverse property:
- P44(x,y) ⇒ E18(x)
- P44(x,y) ⇒ E3(y)
- P44(x,y) ⇐ (∃z) [E14(z) ˄ P34i(x,z) ˄ P35(z,y)]
"""@en ;
    rdfs:domain :E3_Condition_State ;
    rdfs:range :E18_Physical_Thing ;
    owl:inverseOf :P44_has_condition .