stores (is stored on) – L19

L19 stores (is stored on)

Quantification:

No quantifiers yet.

Scope note:

This property associates an instance of a D13 Digital Information Carrier with the instance of Digital Object that is stored on it.

Examples:

No example yet.

In First Order Logic:

  • L19(x,y) ⇒ D13(x)
  • L19(x,y) ⇒ D1(y)
  • L19(x,y) ⇒ P128(x,y)

Scope notes

Show Scope note Language Namespace View details Comments
This property associates an instance of a D13 Digital Information Carrier with the instance of Digital Object that is stored on it. en CRMdig version 4.0 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: L19

Official URI: http://www.ics.forth.gr/isl/CRMdig/L19_stores
OntoME URI: https://ontome.net/ontology/p1263

Domain and range

crmdig:D13 Digital Information Carrier → L19 stores (is stored on) → crmdig:D1 Digital Object

Labels

Label Language Last updated View details Comments
stores (is stored on) * en 2022-12-08 0

: Standard label for this language

Namespace

Namespace Last updated
CRMdig version 4.0 2022-12-08
CRMdig v 4.0 ongoing 2022-11-03
CRMdig version 3.2.1 2021-05-07

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E18 Physical Thing (0,n) P128 carries (is carried by) (0,n) crm:E90 Symbolic Object CIDOC CRM version 7.1.3 CRMdig version 4.0 0

Ancestor properties

Domain Property Range Depth Property namespace
crm:E70 Thing (0,n) P130 shows features of (features are also found on) (0,n) crm:E70 Thing 2 CIDOC CRM version 7.1.3

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated

Comments