diminished (was diminished by) – O1

O1 diminished (was diminished by)

Quantification:

No quantifiers yet.

Scope note:

This property associates an instance of S1 Matter Removal with the instance of S10 Material Substantial that this activity diminished.

Examples:

No example yet.

In First Order Logic:

  • O1(x,y) ⇒ S1(x)
  • O1(x,y) ⇒ S10(y)

Scope notes

Examples

Additional notes

Identifier: O1

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

Domain and range

crmsci:S1 Matter Removal → O1 diminished (was diminished by) → crmsci:S10 Material Substantial

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments