diminished (was diminished by) – O1
O1 diminished (was diminished by)
Domain:
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
Comments
No comment found.