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