A11_Set-Endurant
This class does not yet have the minimum number of validated parts required for publication.
A11_Set-Endurant
Subclass of:
Scope note:
rdfs:comment "\"AKA arbitrary-collection.The mereological sum of any two or more endurants (physical or not). Arbitrary sums have no unity criterion (they are 'extensional').
source : DOLCE-Lite\""
Examples:
No example yet.
In First Order Logic:
- A11_Set-Endurant(x) ⊃ A1_Endurant(x)
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments | Validation |
|---|---|---|---|---|---|---|
| rdfs:comment "\"AKA arbitrary-collection.The mereological sum of any two or more endurants (physical or not). Arbitrary sums have no unity criterion (they are 'extensional').source : DOLCE-Lite\"" | en | ANY-ARTEFACT-V.1 ongoing | 0 | Candidate |
Examples
| Show | Example | Language | Namespace | View details | Comments | Validation |
|---|
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments | Validation |
|---|
Identifier : A11_Set-Endurant
Labels
| Label | Language | Last updated | View details | Comments | Validation |
|---|---|---|---|---|---|
| A11_Set-Endurant * | en | 2021-06-10 | 0 | Candidate |
* : Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| ANY-ARTEFACT-V.1 ongoing | 2021-04-01 |
Parent classes
| Class | Class namespace | Relation defined in | Justification | View details | Edit | Delete | Comments | Validation |
|---|---|---|---|---|---|---|---|---|
| A1_Endurant | ANY-ARTEFACT-V.1 ongoing | ANY-ARTEFACT-V.1 ongoing |
|
0 | Candidate |
Ancestor classes
| Class | Depth | Class namespace | Via |
|---|---|---|---|
| A0_Any_Artefact_Entity | 2 | ANY-ARTEFACT-V.1 ongoing | A1_Endurant |
Child and descendant classes
| Class | Depth | Class namespace | Via |
|---|
Related classes
| Relation | Class | Class namespace | Justification | Relation defined in | View details | Edit | Delete | Comments | Validation |
|---|
Outgoing properties (this class is domain)
| Domain | Property identifier | Range | Namespace |
|---|
Outgoing properties (inherited from ancestors)
| Domain | Property identifier | Range | Namespace |
|---|
Incoming properties (this class is range)
| Domain | Property identifier | Range | Namespace |
|---|
Incoming properties (inherited from ancestors)
| Domain | Property identifier | Range | Namespace |
|---|
Profiles using this class
| Label | Version | Status | Last updated |
|---|
Linked classes graph
Use mouse wheel to zoom in/out.
Comments
No comment found.