partly or completely contains (is part of) – O22
O22 partly or completely contains (is part of)
Domain:
Range:
Quantification:
No quantifiers yet.
Scope note:
This property identifies an S20 Physical Feature as being part of a S22 Segment of Matter. One S22 Segment of Matter usually contains several S20 Physical Features.
Examples:
No example yet.
In First Order Logic:
- O22(x,y) ⊃ S22(x)
- O22(x,y) ⊃ S20(y)
Scope Notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
This property identifies an S20 Physical Feature as being part of a S22 Segment of Matter. One S22 Segment of Matter usually contains several S20 Physical Features. | en | WIP | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|
Additional notes
Show | Notes | Language | Namespace | View details | Comments |
---|
Identifier : O22
Domain and range
S22 Segment of Matter → O22 partly or completely contains (is part of) → S20 Physical Feature
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
partly or completely contains (is part of) * | en | 2019-12-06 | 0 |
: Standard label for this language
Namespace
Namespace | Last updated |
---|---|
CRMsci version 1.2.3 | 2019-12-04 |
Parent properties
Domain | Property | Range | Justification | Defined in namespace | View association |
---|
Ancestor properties
Domain | Property | Range | Depth | Defined in namespace |
---|
Childs and descendant properties
Domain | Property | Range | Depth | Defined in namespace |
---|
Related properties
Relation | Property | Justification | Defined in namespace | View details |
---|
Profiles using this class
Label | Start date | End date | Last updated |
---|
Comments
No comment found.