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

Official URI: https://ontome.net/ns/any-artefact-v-1/A11_Set-Endurant
OntoME URI: https://ontome.net/ontology/c812

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