has dimension – P43

P43 has dimension

Domain:

Range:

Quantification:

No quantifiers yet.

Scope note:

This property records a E54 Dimension of some E70 Thing. It 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. An instance of E54 Dimension is specific to an instance of E70 Thing.

Examples:

No example yet.

In First Order Logic:

  • P43(x,y) ⊃ E70(x)
  • P43(x,y) ⊃ E54(y)
  • P43(x,y) ⊃ topObjectProperty(x,y)

Scope Notes

Show Scope note Language Namespace View details and comments
This property records a E54 Dimension of some E70 Thing. It 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. An instance of E54 Dimension is specific to an instance of E70 Thing. en WIP

Examples

Show Example Language Namespace View details and comments

Additional notes

Show Notes Language Namespace View details and comments

Domain and range

E70 Thing → P43 has dimension → E54 Dimension

Labels

Label Language Last updated View details and comments
hat Dimension de 2018-09-14
έχει μέγεθος el 2018-09-14
has dimension en 2018-09-14
a pour dimension fr 2018-09-14
tem dimensão pt 2018-09-14
имеет величину ru 2018-09-14
有规模数量 zh 2018-09-14

Namespace

Namespace URI Last updated
http://dataforhistory.org/imported_ontology/cidoc-crm/base/6/2/ 2019-03-28

Parent properties

Property identifier Justification Root namespace View association
topObjectProperty http://dataforhistory.org/imported_ontology/owl/

Ancestor properties

Property identifier Depth Root namespace

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments