P43 has dimension ( is dimension of) in version 7.1

Domain:
E70 Thing
Range:
E54 Dimension
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
Quantification:
one to many, dependent (0,n:1,1)
Scope Note:
This property records a E54 Dimension of some E70 Thing.
 
This property is a shortcut of the more fully developed path from E70 ThingthroughP39i was measured by, E16 Measurement, P40 observed dimension, toE54 Dimension. It offers no information about how and when an E54 Dimension was established, nor by whom.
 
An instance of E54 Dimension is specific to an instance of E70 Thing.
 
Examples:
  •  silver cup 232 (E22) has dimension height of silver cup 232 (E54) has unit (P91) mm (E58), has value (P90) 224 (E60) (fictitious)
In First Order Logic:
P43(x,y) ⇒ E70(x) , P43(x,y) ⇒ E54(y), P43(x,y) ⇐ (∃z) [E16(z) ˄ P39i(x,z) ˄ P40(z,y)]