has numeric dimension type (is numeric dimension type of) – P11

P11 has numeric dimension type (is numeric dimension type of)

Quantification:

0,n:1,1

Scope note:

 

Associates a numeric dimension with its type (by analogy with the unit of measurement for distinguishing quantities having none).

Examples:

No example yet.

In First Order Logic:

  • P11(x,y) ⊃ C11(x)
  • P11(x,y) ⊃ C12(y)
  • P11(x,y) ⊃ P91(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
  Associates a numeric dimension with its type (by analogy with the unit of measurement for distinguishing quantities having none). en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P11

Domain and range

C11 Numeric dimension → P11 has numeric dimension type (is numeric dimension type of) → C12 Numeric dimension type  (Quantifiers 0,n:1,1)

Labels

Label Language Last updated View details Comments
has numeric dimension type (is numeric dimension type of) * en 2020-08-18 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM supplement (HistDMI) ongoing 2020-08-19

Parent properties

Domain Property Range Justification Relation namespace View details Comments
Dimension – E54 (0,n) P91 has unit (is unit of) (1,1) Measurement Unit – E58 CIDOC CRM supplement (HistDMI) ongoing 0

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Justification Relation namespace View details Comments

Profiles using this class

Label Start date End date Last updated
Geovistory Basics 2019-12-13
Physical man-made objects and basic information about them 2020-08-24

Comments