http://www.cidoc-crm.org/cidoc-crm/P44_has_condition
rdf:Property
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)]
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E18_Physical_Thing | :P44_has_condition | :E3_Condition_State |
@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 .