contains (is contained in) – O25

O25 contains (is contained in)

Domain:

crmsci:S10 Material Substantial

Range:

crmsci:S10 Material Substantial

Quantification:

0,n:0,n

Superproperty of:

Scope note:

This property describes that an instance of S10 Material Substantial was or is contained in another instance of S10 Material Substantial regardless of whether the identity of the involved instances is based on the persistence of the form of material or on material substance that may change form.

Examples:

The opal specimen from Jalisco in Mexico (E18) contains the fluid inclusion of the specimen (S14). (Rentro, 2019)

In First Order Logic:

  • O25(x,y) ⇒ S10(x)
  • O25(x,y) ⇒ S10(y)

Scope notes

Show Scope note Language Namespace View details Comments
This property describes that an instance of S10 Material Substantial was or is contained in another instance of S10 Material Substantial regardless of whether the identity of the involved instances is based on the persistence of the form of material or on material substance that may change form. en CRMsci version 2.0 0

Examples

Show Example Language Namespace View details Comments
The opal specimen from Jalisco in Mexico (E18) contains the fluid inclusion of the specimen (S14). (Rentro, 2019) en CRMsci version 2.0 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: O25

Official URI: http://www.cidoc-crm.org/cidoc-crm/CRMsci/O25_contains
OntoME URI: https://ontome.net/ontology/p2113

Domain and range

crmsci:S10 Material Substantial → O25 contains (is contained in) → crmsci:S10 Material Substantial  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
contains (is contained in) * en 2023-09-21 0

: Standard label for this language

Namespace

Namespace Last updated
CRMsci version 2.0 2022-09-13

Parent properties

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

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace
crm:E18 Physical Thing (0,n) P46 is composed of (forms part of) (0,n) crm:E18 Physical Thing 1 CIDOC CRM version 7.1.2
crm:E19 Physical Object (1,1) P56 bears feature (is found on) (0,n) crm:E26 Physical Feature 2 CIDOC CRM version 7.1.2
crmsci:S12 Amount of Fluid (0,n) O6 is former or current part of (has former or current part) (0,n) crmsci:S14 Fluid Body 1 CRMsci version 2.0

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