http://www.cidoc-crm.org/cidoc-crm/P91_has_unit
rdf:Property
Quantification: many to one, necessary (1,1:0,n)
Scope note:
This property shows the type of unit an instance of E54 Dimension was expressed in.
Examples:
- The height of silver cup 232 (E54) has unit mm (E58). (fictitious)
In First Order Logic:
- P91(x,y) ⇒ E54(x)
- P91(x,y) ⇒ E58(y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E54_Dimension | :P91_has_unit | :E58_Measurement_Unit |
@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#> .
:P91_has_unit a rdf:Property ;
rdfs:label "hat Einheit"@de,
"έχει μονάδα μέτρησης"@el,
"has unit"@en,
"a pour unité de mesure"@fr,
"tem unidade"@pt,
"имeeт eдиницу"@ru,
"有单位"@zh ;
rdfs:comment """Quantification: many to one, necessary (1,1:0,n)
Scope note:
This property shows the type of unit an instance of E54 Dimension was expressed in.
Examples:
- The height of silver cup 232 (E54) has unit mm (E58). (fictitious)
In First Order Logic:
- P91(x,y) ⇒ E54(x)
- P91(x,y) ⇒ E58(y)
"""@en ;
rdfs:domain :E54_Dimension ;
rdfs:range :E58_Measurement_Unit ;
owl:inverseOf :P91i_is_unit_of .