:P44_has_condition leaf node


URI

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

Type

rdf:Property

Label

has condition

Description

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

Scope note:
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:
- 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:
- P44(x,y) ⇒ E18(x)
- P44(x,y) ⇒ E3(y)
- P44(x,y) ⇐ (∃z) [E14(z) ˄ P34i(x,z) ˄ P35(z,y)]

Usage

DOMAINPROPERTYRANGE
:E18_Physical_Thing :P44_has_condition :E3_Condition_State

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

:P44_has_condition a rdf:Property ;
    rdfs:label "hat Zustand"@de,
        "έχει κατάσταση"@el,
        "has condition"@en,
        "a pour état matériel"@fr,
        "tem estado material"@pt,
        "имeeт условиe"@ru,
        "有状况"@zh ;
    rdfs:comment """Quantification: one to many, dependent (0,n:1,1)

Scope note:
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:
- 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:
- 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 :E18_Physical_Thing ;
    rdfs:range :E3_Condition_State ;
    owl:inverseOf :P44i_is_condition_of .