@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ecrm:	<http://erlangen-crm.org/current/> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
ecrm:P43_has_dimension	rdf:type	owl:ObjectProperty ;
	owl:inverseOf	ecrm:P43i_is_dimension_of .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ecrm:P43_has_dimension	rdfs:label	"P43 has dimension"@en ;
	rdfs:domain	ecrm:E70_Thing ;
	rdfs:range	ecrm:E54_Dimension ;
	rdfs:comment	"Scope note:\nThis property records a E54 Dimension of some E70 Thing.\nIt is a shortcut of the more fully developed path from E70 Thing through P39 measured (was measured by), E16 Measurement P40 observed dimension (was observed in) to E54 Dimension. It offers no information about how and when an E54 Dimension was established, nor by whom.\n\nAn instance of E54 Dimension is specific to an instance of E70 Thing.\n\nExamples:\n- silver cup 232 (E22) has dimension height of silver cup 232 (E54) has unit (P91) mm (E58), has value (P90) 224 (E60)\n\nIn First Order Logic:\nP43(x,y) \u2283 E70(x)\nP43(x,y) \u2283 E54(y)"@en .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
ecrm:P43_has_dimension	skos:notation	"P43"^^xsd:string .