quality
disjoint with: temporal-region
disjoint with: relevant-part
disjoint with: amount-of-matter
subclass of: Thing
disjoint with: endurant
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: accomplishment
subclass of: particular
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: non-physical-object
disjoint with: abstract
disjoint with: spatio-temporal-region
subclass of: spatio-temporal-particular
disjoint with: time-interval
disjoint with: arbitrary-sum
disjoint with: achievement
disjoint with: physical-region
disjoint with: space-region
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: process
disjoint with: non-physical-endurant
disjoint with: Nothing
disjoint with: quality-space
disjoint with: physical-object
disjoint with: set
disjoint with: event
disjoint with: abstract-region
disjoint with: region
disjoint with: proposition
type: Class
disjoint with: physical-endurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: perdurant
disjoint with: quale
disjoint with: stative
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: state
disjoint with: feature
disjoint with: dependent-place
comment: Qualities can be seen as the basic entities we can perceive or measure: shapes, colors, sizes, sounds, smells, as well as weights, lengths, electrical charges... 'Quality' is often used as a synonymous of 'property', but this is not the case in this upper ontology: qualities are particulars, properties are universals. Qualities inhere to entities: every entity (including qualities themselves) comes with certain qualities, which exist as long as the entity exists.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#38

temporal-region
disjoint with: temporal-location q
disjoint with: abstract-region
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
subclass of: Thing
subclass of: region
disjoint with: event
disjoint with: physical-object
type: Class
disjoint with: Nothing
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: state
disjoint with: arbitrary-sum
disjoint with: endurant
disjoint with: achievement
disjoint with: accomplishment
disjoint with: process
disjoint with: abstract-quality
disjoint with: relevant-part
disjoint with: stative
disjoint with: spatio-temporal-region
disjoint with: spatio-temporal-particular
disjoint with: non-physical-object
subclass of: abstract
disjoint with: feature
subclass of: particular
disjoint with: amount-of-matter
disjoint with: space-region
disjoint with: temporal-quality
disjoint with: quality
disjoint with: physical-region
disjoint with: physical-endurant
disjoint with: physical-quality
disjoint with: dependent-place
disjoint with: perdurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: non-physical-endurant
disjoint with: spatial-location q
comment: A region at which only temporal qualities can be directly located. It assumes a metrics for time.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#57
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#58

strong-connection
sub property of: topObjectProperty
sub property of: mediated-relation
sub property of: mediated-relation-i
property disjoint with: bottomObjectProperty
type: SymmetricProperty
type: ObjectProperty
comment: By strong connection here we mean a connection between two entities that share a boundary.
domain: particular
range: particular

overlaps
sub property of: topObjectProperty
sub property of: mediated-relation
sub property of: mediated-relation-i
property disjoint with: bottomObjectProperty
type: SymmetricProperty
type: ObjectProperty
comment: Mereological overlap: having a common part.
domain: particular
range: particular

abstract-region
disjoint with: spatial-location q
disjoint with: physical-quality
disjoint with: dependent-place
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: arbitrary-sum
disjoint with: achievement
disjoint with: temporal-quality
disjoint with: stative
type: Class
disjoint with: amount-of-matter
disjoint with: non-physical-endurant
disjoint with: event
disjoint with: spatio-temporal-particular
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: state
disjoint with: abstract-quality
subclass of: abstract
disjoint with: endurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: space-region
disjoint with: spatio-temporal-region
subclass of: particular
disjoint with: process
disjoint with: relevant-part
disjoint with: temporal-location q
disjoint with: feature
disjoint with: physical-region
disjoint with: physical-endurant
subclass of: region
subclass of: Thing
disjoint with: Nothing
disjoint with: non-physical-object
disjoint with: perdurant
disjoint with: temporal-region
disjoint with: physical-object
disjoint with: quality
disjoint with: accomplishment
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: time-interval
comment: A region at which only abstract qualities can be directly located. It assumes some metrics for abstract (neither physical nor temporal) properties.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#8
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#9

total-temporary-participant
sub property of: participant
property disjoint with: boundary
property disjoint with: atomic-part
property disjoint with: physical-location-of
property disjoint with: abstract-location
property disjoint with: has-t-quality
property disjoint with: temporary-proper-part-of
property disjoint with: host
property disjoint with: temporary-part
property disjoint with: q-present-at
property disjoint with: specific-constant-constituent-of
sub property of: topObjectProperty
property disjoint with: part
property disjoint with: q-location-of
property disjoint with: abstract-location-of
type: ObjectProperty
property disjoint with: total-temporary-participant-in
property disjoint with: time-of-q-presence-of
property disjoint with: has-quale
property disjoint with: t-inherent-in
property disjoint with: proper-part
property disjoint with: bottomObjectProperty
property disjoint with: temporary-proper-part
property disjoint with: r-location-of
property disjoint with: spatio-temporal-presence-of
property disjoint with: host-of
property disjoint with: temporary-atomic-part-of
property disjoint with: r-location
property disjoint with: mereologically-coincides
property disjoint with: part-of
property disjoint with: exact-location
property disjoint with: specific-constant-constituent
property disjoint with: quale-of
property disjoint with: temporary-part-of
property disjoint with: exact-location-of
property disjoint with: participant-in
property disjoint with: life
property disjoint with: total-constant-participant-in
sub property of: immediate-relation
sub property of: temporary-participant
property disjoint with: physical-location
property disjoint with: boundary-of
inverse of: total-temporary-participant-in
property disjoint with: inherent-in
property disjoint with: spatio-temporally-present-at
property disjoint with: constant-participant-in
property disjoint with: temporary-atomic-part
property disjoint with: has-quality
property disjoint with: proper-part-of
property disjoint with: q-location
property disjoint with: atomic-part-of
property disjoint with: temporary-participant-in
comment: The perdurant p has a participant e that temporarily participates in p with all its parts, e.g. in 'I played the concert' (where I actually played just an ouverture).See also 'temporary-participant'.
domain: perdurant
range: endurant

proposition
disjoint with: abstract-quality
disjoint with: event
subclass of: particular
disjoint with: physical-object
disjoint with: arbitrary-sum
disjoint with: achievement
disjoint with: spatio-temporal-particular
disjoint with: process
disjoint with: quality
disjoint with: dependent-place
disjoint with: temporal-location q
disjoint with: non-physical-endurant
disjoint with: perdurant
subclass of: Thing
disjoint with: physical-quality
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: temporal-quality
disjoint with: endurant
disjoint with: amount-of-matter
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: stative
disjoint with: Nothing
disjoint with: non-physical-object
disjoint with: physical-endurant
disjoint with: relevant-part
disjoint with: accomplishment
subclass of: abstract
disjoint with: state
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: feature
type: Class
disjoint with: spatial-location q
comment: The abstract content of a proposition. Abstract content is purely combinatorial: from this viewpoint, any content that can be generated by means of combinatorial rules is assumed to exist in the domain of quantification (reified abstracts).

boundary-of
property disjoint with: physical-location-of
property disjoint with: participant
property disjoint with: life
property disjoint with: total-temporary-participant
property disjoint with: constant-participant-in
property disjoint with: physical-location
property disjoint with: abstract-location
property disjoint with: has-quale
sub property of: proper-part-of
sub property of: part-of
property disjoint with: constant-participant
sub property of: topObjectProperty
property disjoint with: q-present-at
property disjoint with: temporary-participant
property disjoint with: total-temporary-participant-in
inverse of: boundary
property disjoint with: total-constant-participant-in
sub property of: immediate-relation-i
property disjoint with: bottomObjectProperty
property disjoint with: temporary-participant-in
property disjoint with: abstract-location-of
property disjoint with: participant-in
property disjoint with: total-constant-participant
property disjoint with: q-location
type: ObjectProperty
property disjoint with: life-of
comment: A boundary here is taken to be a part (mereological treatment). Consequently, in the case of endurants, (reified) boundaries are features.
domain: particular
range: particular

identity-c
sub property of: immediate-relation-i
sub property of: topObjectProperty
sub property of: immediate-relation
type: TransitiveProperty
property disjoint with: bottomObjectProperty
type: SymmetricProperty
type: ObjectProperty
comment: Any pair of individuals are ontologically identical if they are identical to themselves. Reflexive, symmetric, and transitive.
domain: particular
range: particular

state
disjoint with: abstract
disjoint with: physical-region
subclass of: particular
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: abstract-quality
disjoint with: temporal-location q
subclass of: Thing
subclass of: stative
disjoint with: quality-space
disjoint with: arbitrary-sum
disjoint with: spatial-location q
disjoint with: relevant-part
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: dependent-place
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: spatio-temporal-region
disjoint with: non-physical-object
disjoint with: set
disjoint with: space-region
disjoint with: Nothing
disjoint with: temporal-quality
subclass of: spatio-temporal-particular
type: Class
subclass of: perdurant
disjoint with: non-physical-endurant
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: quality
disjoint with: physical-quality
disjoint with: proposition
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: physical-object
disjoint with: time-interval
disjoint with: endurant
disjoint with: feature
disjoint with: quale
disjoint with: temporal-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: abstract-region
disjoint with: physical-endurant
disjoint with: region
disjoint with: amount-of-matter
comment: Within stative occurrences, we distinguish between states and processes according to homeomericity: sitting is classified as a state but running is classified as a process, since there are (very short) temporal parts of a running that are not themselves runnings.In general, states differ from situations because they are not assumed to have a description from which they depend. They can be sequenced by some course, but they do not require a description as a unifying criterion.On the other hand, at any time, one can conceive a description that asserts the constraints by which a state of a certian type is such, and in this case, it becomes a situation.Since the decision of designing an explicit description that unifies a perdurant depends on context, task, interest, application, etc., when aligning an ontology do DLP, there can be indecision on where to align a state-oriented class. For example, in the WordNet alignment, we have decided to put only some physical states under 'state', e.g. 'turgor', in order to stress the social orientedness of DLP. But whereas we need to talk explicitly of the criteria by which we conceive turgor states, these will be put under 'situation'.Similar considerations are made for the other types of perdurants in DOLCE.A different notion of event (dealing with change) is currently investigated for further developments: being 'achievement', 'accomplishment', 'state', 'event', etc. can be also considered 'aspects' of processes or of parts of them. For example, the same process 'rock erosion in the Sinni valley' can be conceptualized as an accomplishment (what has brought the current state that e.g. we are trying to explain), as an achievement (the erosion process as the result of a previous accomplishment), as a state (if we collapse the time interval of the erosion into a time point), or as an event (what has changed our focus from a state to another).In the erosion case, we could have good motivations to shift from one aspect to another: a) …

dependent-place
disjoint with: quality-space
disjoint with: quality
disjoint with: physical-region
disjoint with: non-physical-object
disjoint with: proposition
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
subclass of: spatio-temporal-particular
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: stative
disjoint with: abstract
disjoint with: set
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: amount-of-matter
disjoint with: perdurant
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
subclass of: particular
disjoint with: temporal-quality
disjoint with: quale
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: space-region
disjoint with: accomplishment
disjoint with: arbitrary-sum
disjoint with: physical-quality
disjoint with: achievement
type: Class
disjoint with: temporal-location q
disjoint with: region
disjoint with: non-physical-endurant
subclass of: endurant
disjoint with: process
disjoint with: abstract-quality
disjoint with: spatio-temporal-region
disjoint with: temporal-region
disjoint with: state
subclass of: physical-endurant
subclass of: feature
disjoint with: time-interval
disjoint with: Nothing
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: event
disjoint with: abstract-region
disjoint with: physical-object
disjoint with: spatial-location q
comment: A feature that is not part of its host, like a hole in a piece of cheese, the underneath of a table, the front of a house, or the shadow of a tree.

q-location
property disjoint with: physical-location-of
property disjoint with: total-constant-participant
property disjoint with: bottomObjectProperty
property disjoint with: temporary-part-of
property disjoint with: atomic-part-of
property disjoint with: temporary-proper-part
type: ObjectProperty
property disjoint with: life-of
property disjoint with: temporary-proper-part-of
property disjoint with: total-temporary-participant-in
property disjoint with: abstract-location-of
property disjoint with: r-location
property disjoint with: total-temporary-participant
property disjoint with: participant-in
property disjoint with: r-location-of
property disjoint with: total-constant-participant-in
property disjoint with: host-of
property disjoint with: time-of-q-presence-of
property disjoint with: proper-part-of
sub property of: topObjectProperty
property disjoint with: life
property disjoint with: physical-location
property disjoint with: constant-participant
property disjoint with: participant
sub property of: immediate-relation
property disjoint with: temporary-part
property disjoint with: constant-participant-in
property disjoint with: temporary-atomic-part
property disjoint with: temporary-participant
property disjoint with: quale-of
property disjoint with: host
property disjoint with: mereologically-coincides
property disjoint with: has-t-quality
property disjoint with: exact-location-of
property disjoint with: q-location-of
property disjoint with: boundary-of
property disjoint with: spatio-temporal-presence-of
property disjoint with: q-present-at
property disjoint with: has-quality
property disjoint with: abstract-location
property disjoint with: part-of
property disjoint with: temporary-atomic-part-of
inverse of: q-location-of
property disjoint with: temporary-participant-in
comment: The immediate relation holding for qualities and regions. See 'generic location' branching for the various mediated relations that embed q-location.
domain: quality
range: region

abstract-quality
disjoint with: temporal-quality
subclass of: particular
disjoint with: perdurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: feature
disjoint with: physical-endurant
disjoint with: process
disjoint with: achievement
disjoint with: temporal-location q
disjoint with: physical-quality
disjoint with: space-region
disjoint with: physical-region
disjoint with: time-interval
disjoint with: region
subclass of: quality
disjoint with: event
disjoint with: non-physical-object
disjoint with: dependent-place
disjoint with: physical-object
disjoint with: quality-space
disjoint with: relevant-part
disjoint with: non-physical-endurant
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: proposition
disjoint with: spatial-location q
disjoint with: temporal-region
disjoint with: stative
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: arbitrary-sum
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: endurant
disjoint with: Nothing
disjoint with: set
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: accomplishment
disjoint with: spatio-temporal-region
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: state
disjoint with: quale
disjoint with: abstract-region
subclass of: Thing
disjoint with: abstract
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: amount-of-matter
subclass of: spatio-temporal-particular
comment: A quality inherent in a non-physical endurant.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#5
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#6
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#7

partly-compresent
sub property of: topObjectProperty
sub property of: mediated-relation
sub property of: mediated-relation-i
property disjoint with: bottomObjectProperty
type: SymmetricProperty
type: ObjectProperty
comment: A composed (mediated) relation used here to make relations 'temporary': by adding it as a superrelation, the effect is that the two related endurants cannot be present at all the same time intervals, but are compresent at least at some time interval (see related axiom).In FOL, the same constraint can be stated directly by coreference.This workaround can be used to index time of relations that involve reciprocal dependency, but it cannot be used in general with relations involving multiple strata of reality. For example, _about_ relation can be temporally indexed, without involving that the time of the information object overlaps with the time of the entity the information is about (but this works for e.g. the _realizes_ relation between information objects and entities whatsoever). The different temporal constraints of about vs. expresses probably derive from the dependency of aboutness from conception (to be about x, an information object should also express a description d that is satisfied by a situation including x, then temporal overlapping of _about_ is true in virtue of d). On the other hand, even conceives cannot be indexed in this way, because overlapping does not hold between the time og the conceiving agent, and the conceived description (or situation).
domain: particular
range: particular

temporary-part
property disjoint with: participant
property disjoint with: physical-location
property disjoint with: has-quality
property disjoint with: exact-location-of
property disjoint with: inherent-in
inverse of: temporary-part-of
property disjoint with: has-t-quality
sub property of: topObjectProperty
property disjoint with: t-inherent-in
sub property of: mediated-relation
sub property of: mediated-relation-i
property disjoint with: temporary-participant
property disjoint with: q-location-of
property disjoint with: has-quale
property disjoint with: r-location-of
property disjoint with: life
property disjoint with: constant-participant
property disjoint with: abstract-location-of
property disjoint with: exact-location
property disjoint with: life-of
property disjoint with: total-constant-participant-in
property disjoint with: time-of-q-presence-of
property disjoint with: temporary-participant-in
property disjoint with: constant-participant-in
property disjoint with: spatio-temporal-presence-of
property disjoint with: total-temporary-participant
property disjoint with: abstract-location
sub property of: immediate-relation
property disjoint with: q-present-at
sub property of: partly-compresent
property disjoint with: participant-in
property disjoint with: r-location
property disjoint with: total-constant-participant
property disjoint with: bottomObjectProperty
property disjoint with: q-location
property disjoint with: total-temporary-participant-in
property disjoint with: physical-location-of
property disjoint with: quale-of
property disjoint with: spatio-temporally-present-at
sub property of: part
type: ObjectProperty
comment: Being part at time t. It holds for endurants only. This is important to model parts that can change or be lost over time without affecting the identity of the whole. In FOL, this is expressed as a ternary relation, but in DLs we only can reason with binary relations, then only the necessary axiom of compresence is represented here.
domain: endurant
range: endurant

identity-n
property disjoint with: bottomObjectProperty
sub property of: immediate-relation
type: SymmetricProperty
sub property of: immediate-relation-i
sub property of: topObjectProperty
type: ObjectProperty
type: TransitiveProperty
comment: Any pair of individuals are notionally identical iff they instantiate all and only the same concepts.
domain: particular
range: particular

participant
property disjoint with: has-quale
property disjoint with: total-temporary-participant-in
property disjoint with: temporary-atomic-part-of
property disjoint with: participant-in
property disjoint with: q-location-of
property disjoint with: atomic-part-of
property disjoint with: temporary-proper-part-of
property disjoint with: host-of
property disjoint with: part-of
property disjoint with: proper-part-of
property disjoint with: r-location-of
type: ObjectProperty
property disjoint with: total-constant-participant-in
property disjoint with: specific-constant-constituent
property disjoint with: exact-location
property disjoint with: inherent-in
property disjoint with: abstract-location-of
property disjoint with: constant-participant-in
sub property of: immediate-relation
property disjoint with: q-location
property disjoint with: has-t-quality
property disjoint with: life
property disjoint with: temporary-atomic-part
property disjoint with: temporary-participant-in
property disjoint with: physical-location-of
property disjoint with: spatio-temporally-present-at
property disjoint with: boundary
inverse of: participant-in
property disjoint with: time-of-q-presence-of
property disjoint with: exact-location-of
property disjoint with: boundary-of
property disjoint with: has-quality
property disjoint with: q-present-at
property disjoint with: temporary-part-of
property disjoint with: part
property disjoint with: mereologically-coincides
property disjoint with: proper-part
property disjoint with: t-inherent-in
sub property of: topObjectProperty
property disjoint with: physical-location
property disjoint with: specific-constant-constituent-of
property disjoint with: temporary-part
property disjoint with: host
property disjoint with: spatio-temporal-presence-of
property disjoint with: temporary-proper-part
property disjoint with: r-location
property disjoint with: abstract-location
property disjoint with: atomic-part
property disjoint with: quale-of
property disjoint with: bottomObjectProperty
comment: The immediate relation holding between endurants and perdurants (e.g. in 'the car is running').Participation can be constant (in all parts of the perdurant, e.g. in 'the car is running'), or temporary (in only some parts, e.g. in 'I'm electing the president').A 'functional' participant is specialized for those forms of participation that depend on the nature of participants, processes, or on the intentionality of agentive participants. Traditional 'thematic role' should be mapped to functional participation.For relations holding between participants in a same perdurant, see the co-participates relation.
domain: perdurant
range: endurant

life
property disjoint with: spatio-temporally-present-at
property disjoint with: host
property disjoint with: participant
sub property of: immediate-relation-i
property disjoint with: host-of
property disjoint with: exact-location
inverse of: life-of
property disjoint with: quale-of
property disjoint with: total-constant-participant
property disjoint with: has-quale
property disjoint with: physical-location
sub property of: constant-participant-in
property disjoint with: atomic-part-of
property disjoint with: temporary-proper-part-of
type: ObjectProperty
property disjoint with: part
property disjoint with: temporary-atomic-part
property disjoint with: boundary
property disjoint with: time-of-q-presence-of
property disjoint with: part-of
property disjoint with: temporary-participant
property disjoint with: atomic-part
property disjoint with: q-location
property disjoint with: abstract-location-of
sub property of: topObjectProperty
property disjoint with: temporary-part
property disjoint with: inherent-in
property disjoint with: proper-part-of
property disjoint with: q-present-at
property disjoint with: mereologically-coincides
property disjoint with: temporary-proper-part
property disjoint with: temporary-atomic-part-of
property disjoint with: bottomObjectProperty
property disjoint with: has-t-quality
property disjoint with: exact-location-of
property disjoint with: total-temporary-participant
property disjoint with: has-quality
property disjoint with: proper-part
property disjoint with: r-location
property disjoint with: temporary-part-of
property disjoint with: abstract-location
sub property of: participant-in
property disjoint with: r-location-of
property disjoint with: spatio-temporal-presence-of
property disjoint with: life-of
property disjoint with: q-location-of
property disjoint with: physical-location-of
property disjoint with: t-inherent-in
property disjoint with: specific-constant-constituent
property disjoint with: boundary-of
property disjoint with: specific-constant-constituent-of
property disjoint with: constant-participant
comment: Total constant participation applied to the mereological sum of the perdurants in which an endurant participates.
domain: endurant
range: perdurant

spatio-temporal-region
disjoint with: spatio-temporal-particular
disjoint with: spatial-location q
disjoint with: time-interval
disjoint with: process
disjoint with: relevant-part
disjoint with: abstract-quality
subclass of: space-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: non-physical-object
disjoint with: non-physical-endurant
disjoint with: physical-quality
disjoint with: accomplishment
disjoint with: feature
disjoint with: endurant
disjoint with: stative
disjoint with: state
disjoint with: temporal-quality
subclass of: physical-region
disjoint with: Nothing
subclass of: Thing
disjoint with: dependent-place
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: perdurant
disjoint with: event
subclass of: particular
disjoint with: physical-endurant
type: Class
subclass of: abstract
disjoint with: temporal-location q
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: abstract-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: physical-object
disjoint with: amount-of-matter
disjoint with: arbitrary-sum
subclass of: region
disjoint with: quality
disjoint with: achievement
disjoint with: temporal-region
comment: Any region resulting from the composition of a space region with a temporal region, i.e. being present in region r at time t.

t-inherent-in
property disjoint with: exact-location-of
property disjoint with: physical-location-of
property disjoint with: total-constant-participant
property disjoint with: time-of-q-presence-of
property disjoint with: total-constant-participant-in
property disjoint with: quale-of
property disjoint with: life-of
property disjoint with: spatio-temporal-presence-of
property disjoint with: host
property disjoint with: constant-participant
property disjoint with: physical-location
property disjoint with: mereologically-coincides
property disjoint with: temporary-part
inverse of: has-t-quality
property disjoint with: life
property disjoint with: abstract-location-of
type: ObjectProperty
property disjoint with: bottomObjectProperty
property disjoint with: r-location-of
sub property of: topObjectProperty
property disjoint with: temporary-proper-part
property disjoint with: temporary-part-of
property disjoint with: abstract-location
property disjoint with: q-location-of
property disjoint with: total-temporary-participant
property disjoint with: constant-participant-in
property disjoint with: temporary-proper-part-of
property disjoint with: participant
property disjoint with: participant-in
property disjoint with: total-temporary-participant-in
property disjoint with: temporary-participant
property disjoint with: temporary-atomic-part-of
property disjoint with: r-location
property disjoint with: host-of
property disjoint with: temporary-participant-in
sub property of: inherent-in
property disjoint with: temporary-atomic-part
sub property of: immediate-relation
comment: The immediate relation holding for qualities and entities at time t.
domain: quality
range: particular

immediate-relation
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
inverse of: immediate-relation-i
type: ObjectProperty
comment: A relation that holds without additional mediating individuals. In logical terms, a non-composed relation.
domain: particular
range: particular

exact-location
property disjoint with: total-constant-participant
property disjoint with: total-temporary-participant-in
property disjoint with: q-location-of
property disjoint with: total-constant-participant-in
property disjoint with: host
sub property of: generic-location
type: ObjectProperty
property disjoint with: temporary-proper-part
property disjoint with: temporary-participant-in
sub property of: topObjectProperty
inverse of: exact-location-of
property disjoint with: time-of-q-presence-of
property disjoint with: temporary-atomic-part-of
property disjoint with: has-quality
property disjoint with: mereologically-coincides
property disjoint with: temporary-part-of
property disjoint with: total-temporary-participant
property disjoint with: quale-of
sub property of: mediated-relation
property disjoint with: has-t-quality
property disjoint with: temporary-part
property disjoint with: temporary-participant
property disjoint with: abstract-location-of
property disjoint with: life-of
property disjoint with: host-of
property disjoint with: participant
property disjoint with: temporary-proper-part-of
property disjoint with: bottomObjectProperty
property disjoint with: constant-participant-in
property disjoint with: life
property disjoint with: physical-location-of
property disjoint with: temporary-atomic-part
property disjoint with: constant-participant
property disjoint with: participant-in
comment: A location relation bounded to regions and defined analytically through the composition of inherence and q-location. This is the analytical version of 'generic location'.
domain: particular
range: region

arbitrary-sum
type: Class
disjoint with: relevant-part
subclass of: endurant
disjoint with: non-physical-endurant
disjoint with: quality-space
disjoint with: feature
disjoint with: physical-endurant
disjoint with: temporal-region
disjoint with: spatial-location q
disjoint with: spatio-temporal-region
disjoint with: dependent-place
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: perdurant
disjoint with: region
disjoint with: proposition
disjoint with: Nothing
disjoint with: abstract-region
disjoint with: amount-of-matter
disjoint with: physical-quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: quale
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: temporal-quality
subclass of: particular
disjoint with: time-interval
subclass of: spatio-temporal-particular
disjoint with: stative
disjoint with: accomplishment
disjoint with: non-physical-object
disjoint with: abstract-quality
subclass of: Thing
disjoint with: achievement
disjoint with: event
disjoint with: temporal-location q
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: set
disjoint with: space-region
disjoint with: physical-object
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: process
disjoint with: quality
disjoint with: abstract
disjoint with: state
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: physical-region
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').
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#10

constant-participant
property disjoint with: boundary
property disjoint with: abstract-location
property disjoint with: spatio-temporally-present-at
property disjoint with: host-of
property disjoint with: participant-in
sub property of: immediate-relation
property disjoint with: has-t-quality
property disjoint with: atomic-part-of
property disjoint with: host
property disjoint with: temporary-atomic-part-of
property disjoint with: life
property disjoint with: t-inherent-in
property disjoint with: specific-constant-constituent
property disjoint with: temporary-participant-in
property disjoint with: mereologically-coincides
property disjoint with: r-location
property disjoint with: abstract-location-of
property disjoint with: inherent-in
property disjoint with: temporary-atomic-part
property disjoint with: proper-part
property disjoint with: constant-participant-in
sub property of: topObjectProperty
property disjoint with: temporary-part
property disjoint with: spatio-temporal-presence-of
property disjoint with: temporary-part-of
property disjoint with: total-constant-participant-in
property disjoint with: exact-location
property disjoint with: total-temporary-participant-in
property disjoint with: proper-part-of
property disjoint with: r-location-of
sub property of: participant
property disjoint with: q-location
property disjoint with: bottomObjectProperty
property disjoint with: has-quale
property disjoint with: atomic-part
property disjoint with: temporary-proper-part-of
property disjoint with: has-quality
property disjoint with: part-of
property disjoint with: time-of-q-presence-of
property disjoint with: physical-location
property disjoint with: specific-constant-constituent-of
property disjoint with: exact-location-of
property disjoint with: physical-location-of
property disjoint with: q-present-at
property disjoint with: boundary-of
property disjoint with: q-location-of
property disjoint with: part
property disjoint with: temporary-proper-part
property disjoint with: quale-of
inverse of: constant-participant-in
type: ObjectProperty
comment: Anytime x is present, x has participant y. In other words, all parts of x have a same participant.Participation can be constant (in all parts of the perdurant, e.g. in 'the car is running'), or temporary (in only some parts, e.g. in 'I'm electing the president').
domain: perdurant
range: endurant

sibling-part
sub property of: topObjectProperty
sub property of: mediated-relation
sub property of: mediated-relation-i
property disjoint with: bottomObjectProperty
type: SymmetricProperty
type: ObjectProperty
comment: Mereological sibling: having a common whole
domain: particular
range: particular

specific-constant-dependent
sub property of: topObjectProperty
sub property of: immediate-relation
property disjoint with: bottomObjectProperty
inverse of: specifically-constantly-dependent-on
type: ObjectProperty
comment: The constant dependence between two individuals. Taken here as primitive.
domain: particular
range: particular

accomplishment
disjoint with: non-physical-endurant
disjoint with: space-region
disjoint with: non-physical-object
subclass of: perdurant
disjoint with: dependent-place
disjoint with: Nothing
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: physical-region
disjoint with: abstract-quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: temporal-quality
disjoint with: physical-quality
disjoint with: physical-object
disjoint with: spatio-temporal-region
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
subclass of: spatio-temporal-particular
subclass of: Thing
disjoint with: temporal-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: physical-endurant
disjoint with: temporal-location q
disjoint with: endurant
disjoint with: arbitrary-sum
disjoint with: time-interval
disjoint with: proposition
disjoint with: abstract
disjoint with: abstract-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
type: Class
disjoint with: set
disjoint with: spatial-location q
disjoint with: amount-of-matter
disjoint with: region
disjoint with: quality
disjoint with: quality-space
disjoint with: relevant-part
disjoint with: quale
subclass of: event
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
subclass of: particular
disjoint with: feature
comment: Eventive occurrences (events) are called achievements if they are atomic, otherwise they are accomplishments.Further developments: being 'achievement', 'accomplishment', 'state', 'event', etc. can be also considered 'aspects' of processes or of parts of them. For example, the same process 'rock erosion in the Sinni valley' can be seen as an accomplishment (what has brought the current state that e.g. we are trying to explain), as an achievement (the erosion process as the result of a previous accomplishment), as a state (collapsing the time interval of the erosion into a time point), as an event (what has changed our focus from a state to another).In the erosion case, we could have good motivations to shift from one aspect to another: a) causation focus, b) effectual focus, c) condensation d) transition (causality).

temporary-participant-in
property disjoint with: life-of
property disjoint with: proper-part
property disjoint with: physical-location
property disjoint with: temporary-atomic-part
property disjoint with: r-location
property disjoint with: temporary-part
sub property of: immediate-relation-i
property disjoint with: temporary-participant
property disjoint with: temporary-part-of
property disjoint with: q-location
property disjoint with: bottomObjectProperty
property disjoint with: temporary-atomic-part-of
property disjoint with: part
property disjoint with: boundary
property disjoint with: time-of-q-presence-of
property disjoint with: host-of
property disjoint with: participant
property disjoint with: mereologically-coincides
property disjoint with: total-temporary-participant
property disjoint with: temporary-proper-part
property disjoint with: total-constant-participant
property disjoint with: part-of
property disjoint with: physical-location-of
property disjoint with: has-t-quality
property disjoint with: has-quale
property disjoint with: t-inherent-in
property disjoint with: has-quality
property disjoint with: constant-participant
inverse of: temporary-participant
property disjoint with: quale-of
type: ObjectProperty
property disjoint with: abstract-location-of
property disjoint with: spatio-temporally-present-at
property disjoint with: inherent-in
property disjoint with: atomic-part
property disjoint with: r-location-of
property disjoint with: atomic-part-of
property disjoint with: host
sub property of: participant-in
sub property of: topObjectProperty
property disjoint with: q-present-at
property disjoint with: temporary-proper-part-of
property disjoint with: boundary-of
property disjoint with: q-location-of
property disjoint with: specific-constant-constituent-of
property disjoint with: abstract-location
property disjoint with: exact-location-of
property disjoint with: proper-part-of
property disjoint with: specific-constant-constituent
property disjoint with: exact-location
property disjoint with: spatio-temporal-presence-of
comment: x participates in some of y's parts.
domain: endurant
range: perdurant

generic-location
sub property of: topObjectProperty
sub property of: mediated-relation
property disjoint with: bottomObjectProperty
inverse of: generic-location-of
type: ObjectProperty
comment: The most generic location relation, probably equivalent to more than one image schema in a cognitive system (e.g. containment for exact location, proximity for approximate location).This is meant to reason on generalized, common sense as well as formal locations, including naive localization, between any kinds of entities. Generic location is branched into 'exact' location, ranging on regions, and 'approximate' (naive) location, ranging on non-regions.
domain: particular
range: particular

generic-constituent
sub property of: topObjectProperty
sub property of: immediate-relation
property disjoint with: bottomObjectProperty
inverse of: generic-constituent-of
type: ObjectProperty
comment: 'Constituent' should depend on some layering of the ontology. For example, scientific granularities or ontological 'strata' are typical layerings. A constituent is a part belonging to a lower layer. Since layering is actually a partition of the ontology, constituents are not properly classified as parts, although this kinship can be intuitive for common sense. Example of specific constant constituents are the entities constituting a setting (a situation), whilethe entities constituting a collection are examples of generic constant constituents.
domain: particular
range: particular

temporal-quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: physical-object
subclass of: spatio-temporal-particular
disjoint with: physical-endurant
disjoint with: process
disjoint with: abstract-region
disjoint with: set
disjoint with: stative
disjoint with: quale
disjoint with: quality-space
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: endurant
disjoint with: physical-region
disjoint with: feature
disjoint with: dependent-place
disjoint with: spatio-temporal-region
disjoint with: event
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: temporal-region
disjoint with: space-region
disjoint with: physical-quality
disjoint with: non-physical-object
type: Class
disjoint with: perdurant
disjoint with: abstract
disjoint with: state
disjoint with: time-interval
disjoint with: spatial-location q
subclass of: quality
subclass of: particular
disjoint with: non-physical-endurant
disjoint with: Nothing
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: abstract-quality
subclass of: Thing
disjoint with: accomplishment
disjoint with: proposition
disjoint with: relevant-part
disjoint with: achievement
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: arbitrary-sum
disjoint with: amount-of-matter
disjoint with: region
comment: A quality inherent in a perdurant.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#54
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#55
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#56

physical-region
disjoint with: non-physical-endurant
disjoint with: feature
disjoint with: quality
disjoint with: physical-object
disjoint with: physical-quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: spatial-location q
disjoint with: event
disjoint with: arbitrary-sum
type: Class
disjoint with: physical-endurant
disjoint with: state
subclass of: region
disjoint with: accomplishment
disjoint with: temporal-location q
disjoint with: dependent-place
disjoint with: non-physical-object
disjoint with: stative
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
subclass of: Thing
disjoint with: process
disjoint with: endurant
disjoint with: time-interval
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: abstract-quality
disjoint with: spatio-temporal-particular
disjoint with: perdurant
disjoint with: relevant-part
disjoint with: abstract-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: temporal-region
subclass of: abstract
disjoint with: achievement
disjoint with: temporal-quality
subclass of: particular
disjoint with: Nothing
disjoint with: amount-of-matter
comment: A region at which only physical qualities can be directly located. It assumes some metrics for physical properties.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#32
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#33

atomic-part
sub property of: part
property disjoint with: quale-of
property disjoint with: total-constant-participant-in
property disjoint with: physical-location-of
property disjoint with: total-temporary-participant
property disjoint with: temporary-participant
type: ObjectProperty
property disjoint with: time-of-q-presence-of
inverse of: atomic-part-of
property disjoint with: temporary-participant-in
property disjoint with: total-temporary-participant-in
property disjoint with: life-of
property disjoint with: bottomObjectProperty
sub property of: topObjectProperty
property disjoint with: q-location-of
property disjoint with: total-constant-participant
property disjoint with: constant-participant-in
property disjoint with: abstract-location-of
sub property of: immediate-relation
property disjoint with: constant-participant
property disjoint with: physical-location
property disjoint with: abstract-location
property disjoint with: life
property disjoint with: participant-in
property disjoint with: participant
comment: The part relation between a particular and an atom.
domain: particular
range: particular

amount-of-matter
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: perdurant
disjoint with: Nothing
disjoint with: temporal-region
disjoint with: stative
disjoint with: abstract-quality
disjoint with: set
disjoint with: proposition
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: time-interval
disjoint with: quale
disjoint with: state
disjoint with: arbitrary-sum
disjoint with: temporal-quality
subclass of: spatio-temporal-particular
disjoint with: physical-quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
subclass of: Thing
disjoint with: non-physical-endurant
disjoint with: physical-region
disjoint with: quality-space
disjoint with: dependent-place
disjoint with: quality
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: region
disjoint with: process
disjoint with: event
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: physical-object
disjoint with: temporal-location q
disjoint with: spatial-location q
disjoint with: non-physical-object
type: Class
disjoint with: accomplishment
disjoint with: relevant-part
subclass of: endurant
disjoint with: abstract
subclass of: particular
disjoint with: abstract-region
subclass of: physical-endurant
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: feature
disjoint with: space-region
disjoint with: spatio-temporal-region
disjoint with: achievement
comment: The common trait of amounts of matter is that they are endurants with no unity (according to Gangemi et a. 2001 none of them is an essential whole). Amounts of matter - 'stuffs' referred to by mass nouns like 'gold', 'iron', 'wood', 'sand', 'meat', etc. - are mereologically invariant, in the sense that they change their identity when they change some parts.

quale
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: process
disjoint with: spatio-temporal-particular
disjoint with: endurant
disjoint with: temporal-quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: physical-endurant
disjoint with: physical-quality
disjoint with: quality
subclass of: particular
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: abstract-quality
disjoint with: state
subclass of: Thing
subclass of: abstract
disjoint with: non-physical-endurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: feature
equivalent class: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: achievement
disjoint with: non-physical-object
disjoint with: arbitrary-sum
disjoint with: physical-object
disjoint with: relevant-part
disjoint with: amount-of-matter
disjoint with: temporal-location q
type: Class
disjoint with: stative
disjoint with: dependent-place
disjoint with: accomplishment
disjoint with: event
disjoint with: spatial-location q
disjoint with: Nothing
disjoint with: perdurant
subclass of: region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
comment: An atomic region.

physical-quality
disjoint with: Nothing
disjoint with: amount-of-matter
disjoint with: region
type: Class
disjoint with: temporal-location q
disjoint with: quality-space
disjoint with: temporal-region
disjoint with: perdurant
subclass of: quality
disjoint with: abstract-region
disjoint with: arbitrary-sum
disjoint with: non-physical-endurant
disjoint with: achievement
disjoint with: space-region
disjoint with: abstract
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: spatio-temporal-region
disjoint with: state
disjoint with: abstract-quality
disjoint with: physical-object
disjoint with: dependent-place
subclass of: spatio-temporal-particular
disjoint with: quale
disjoint with: set
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: proposition
disjoint with: temporal-quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: relevant-part
disjoint with: endurant
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: accomplishment
disjoint with: physical-endurant
disjoint with: time-interval
disjoint with: process
disjoint with: event
disjoint with: physical-region
subclass of: particular
disjoint with: non-physical-object
disjoint with: stative
disjoint with: feature
comment: A quality inherent in a physical endurant.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#29
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#30
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#31

stative
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: amount-of-matter
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: arbitrary-sum
disjoint with: non-physical-endurant
disjoint with: abstract-quality
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
type: Class
disjoint with: temporal-location q
disjoint with: spatial-location q
disjoint with: temporal-quality
disjoint with: non-physical-object
subclass of: Thing
disjoint with: endurant
disjoint with: abstract
disjoint with: physical-quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: abstract-region
disjoint with: quale
disjoint with: spatio-temporal-region
disjoint with: quality-space
disjoint with: dependent-place
disjoint with: set
disjoint with: physical-endurant
disjoint with: Nothing
disjoint with: space-region
disjoint with: physical-object
subclass of: spatio-temporal-particular
disjoint with: time-interval
disjoint with: quality
disjoint with: temporal-region
disjoint with: region
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: proposition
subclass of: perdurant
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: feature
disjoint with: relevant-part
disjoint with: physical-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
subclass of: particular
comment: An occurrence-type is stative or eventive according to whether it holds of the mereological sum of two of its instances, i.e. if it is cumulative or not. A sitting occurrence is stative since the sum of two sittings is still a sitting occurrence.

proper-part
property disjoint with: physical-location-of
property disjoint with: abstract-location-of
property disjoint with: constant-participant
property disjoint with: temporary-participant
property disjoint with: physical-location
property disjoint with: q-location-of
property disjoint with: life
sub property of: topObjectProperty
property disjoint with: life-of
property disjoint with: total-temporary-participant
property disjoint with: participant
property disjoint with: quale-of
sub property of: part
inverse of: proper-part-of
property disjoint with: bottomObjectProperty
property disjoint with: constant-participant-in
property disjoint with: total-constant-participant-in
property disjoint with: total-temporary-participant-in
property disjoint with: total-constant-participant
type: ObjectProperty
property disjoint with: temporary-participant-in
property disjoint with: participant-in
sub property of: immediate-relation
type: TransitiveProperty
property disjoint with: abstract-location
property disjoint with: time-of-q-presence-of
comment: The proper part relation: irreflexive, antisymmetric, and transitive.
domain: particular
range: particular

physical-object
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
subclass of: particular
disjoint with: abstract-region
disjoint with: physical-quality
disjoint with: set
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: feature
disjoint with: quality
type: Class
disjoint with: time-interval
disjoint with: abstract
disjoint with: abstract-quality
disjoint with: temporal-region
disjoint with: event
disjoint with: quality-space
disjoint with: physical-region
disjoint with: achievement
subclass of: endurant
subclass of: spatio-temporal-particular
subclass of: physical-endurant
disjoint with: Nothing
disjoint with: state
disjoint with: arbitrary-sum
disjoint with: temporal-quality
disjoint with: process
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: non-physical-endurant
disjoint with: space-region
disjoint with: spatio-temporal-region
disjoint with: quale
disjoint with: dependent-place
disjoint with: amount-of-matter
disjoint with: proposition
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: temporal-location q
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: spatial-location q
disjoint with: accomplishment
disjoint with: region
disjoint with: stative
disjoint with: relevant-part
subclass of: Thing
disjoint with: perdurant
disjoint with: non-physical-object
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
comment: The main characteristic of physical objects is that they are endurants with unity. However, they have no common unity criterion, since different subtypes of objects may have different unity criteria. Differently from aggregates, (most) physical objects change some of their parts while keeping their identity, they can have therefore temporary parts. Often physical objects (indeed, all endurants) are ontologically independent from occurrences (discussed below). However, if we admit that every object has a life, it is hard to exclude a mutual specific constant dependence between the two. Nevertheless, we may still use the notion of dependence to (weakly) characterize objects as being not specifically constantly dependent on other objects.

achievement
disjoint with: non-physical-object
disjoint with: proposition
disjoint with: physical-quality
subclass of: spatio-temporal-particular
disjoint with: endurant
disjoint with: quale
disjoint with: feature
disjoint with: physical-endurant
subclass of: particular
disjoint with: dependent-place
subclass of: Thing
disjoint with: quality-space
disjoint with: temporal-region
disjoint with: time-interval
disjoint with: physical-region
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: abstract-region
disjoint with: temporal-location q
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: amount-of-matter
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: non-physical-endurant
disjoint with: temporal-quality
disjoint with: region
disjoint with: spatio-temporal-region
disjoint with: arbitrary-sum
disjoint with: physical-object
subclass of: event
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: space-region
disjoint with: spatial-location q
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: set
disjoint with: quality
disjoint with: relevant-part
disjoint with: abstract-quality
disjoint with: Nothing
disjoint with: abstract
subclass of: perdurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
comment: Eventive occurrences (events) are called achievements if they are atomic, otherwise they are accomplishments.Further developments: being 'achievement', 'accomplishment', 'state', 'event', etc. can be also considered 'aspects' of processes or of parts of them. For example, the same process 'rock erosion in the Sinni valley' can be seen as an accomplishment (what has brought the current state that e.g. we are trying to explain), as an achievement (the erosion process as the result of a previous accomplishment), as a state (collapsing the time interval of the erosion into a time point), as an event (what has changed our focus from a state to another).In the erosion case, we could have good motivations to shift from one aspect to another: a) causation focus, b) effectual focus, c) condensation d) transition (causality).

temporary-participant
sub property of: immediate-relation
property disjoint with: exact-location
property disjoint with: temporary-atomic-part
property disjoint with: exact-location-of
property disjoint with: proper-part-of
property disjoint with: temporary-proper-part
property disjoint with: temporary-atomic-part-of
sub property of: participant
inverse of: temporary-participant-in
property disjoint with: abstract-location-of
property disjoint with: time-of-q-presence-of
property disjoint with: spatio-temporally-present-at
property disjoint with: part-of
property disjoint with: temporary-part-of
property disjoint with: host
property disjoint with: specific-constant-constituent-of
property disjoint with: atomic-part
property disjoint with: has-quality
property disjoint with: r-location
property disjoint with: constant-participant-in
property disjoint with: spatio-temporal-presence-of
property disjoint with: life
property disjoint with: temporary-part
sub property of: topObjectProperty
property disjoint with: t-inherent-in
property disjoint with: has-t-quality
property disjoint with: atomic-part-of
property disjoint with: bottomObjectProperty
property disjoint with: mereologically-coincides
property disjoint with: physical-location-of
property disjoint with: boundary
property disjoint with: total-temporary-participant-in
property disjoint with: total-constant-participant-in
type: ObjectProperty
property disjoint with: proper-part
property disjoint with: q-present-at
property disjoint with: host-of
property disjoint with: participant-in
property disjoint with: inherent-in
property disjoint with: abstract-location
property disjoint with: part
property disjoint with: physical-location
property disjoint with: q-location-of
property disjoint with: quale-of
property disjoint with: r-location-of
property disjoint with: temporary-proper-part-of
property disjoint with: boundary-of
property disjoint with: specific-constant-constituent
property disjoint with: q-location
property disjoint with: has-quale
property disjoint with: temporary-participant-in
comment: Only some parts of the perdurant p have a participant e.In fact, participation can be constant (in all parts of the perdurant, e.g. in 'the car is running'), or temporary (in only some parts, e.g. in 'I'm electing the president').Implicitly, this relation has a temporal indexing.If needed, in OWL one can derive such indexing by expliciting what parts of p have e as _constant_ participant.An appropriate OWL axiom is created to bind this relation to a proper part of it, which has the temporary-participant as a constant one.
domain: perdurant
range: endurant

mediated-relation-i
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
inverse of: mediated-relation
type: ObjectProperty
comment: A relation that composes other relations. For example, a participation relation composed with a representation relation. Composed relation cannot be directly expressed in OWL-DL, then (at least some) compositions are expressed as class or restriction axioms.
domain: particular
range: particular

particular
disjoint with: Nothing
subclass of: Thing
type: Class
comment: AKA 'entity'.Any individual in the DOLCE domain of discourse. The extensional coverage of DOLCE is as large as possible, since it ranges on 'possibilia', i.e all possible individuals that can be postulated by means of DOLCE axioms. Possibilia include physical objects, substances, processes, qualities, conceptual regions, non-physical objects, collections and even arbitrary sums of objects.The class 'particular' features a covering partition that includes: endurant, perdurant, quality, and abstract. There are also some subclasses defined as unions of subclasses of 'particular' for special purposes: spatio-temporal-particular (any particular except abstracts)- physical-realization (any realization of an information object, defined in the ExtendedDnS ontology).

mereologically-coincides
property disjoint with: inherent-in
property disjoint with: total-constant-participant-in
property disjoint with: participant-in
property disjoint with: life-of
property disjoint with: q-location
property disjoint with: r-location-of
property disjoint with: abstract-location
property disjoint with: physical-location
sub property of: partly-compresent
property disjoint with: exact-location-of
property disjoint with: physical-location-of
property disjoint with: abstract-location-of
sub property of: topObjectProperty
type: ObjectProperty
property disjoint with: q-location-of
type: SymmetricProperty
property disjoint with: temporary-participant-in
property disjoint with: has-t-quality
property disjoint with: time-of-q-presence-of
property disjoint with: r-location
sub property of: part-of
sub property of: immediate-relation
sub property of: part
property disjoint with: bottomObjectProperty
property disjoint with: total-temporary-participant-in
property disjoint with: temporary-participant
sub property of: temporary-part
sub property of: immediate-relation-i
sub property of: mediated-relation
sub property of: mediated-relation-i
property disjoint with: total-temporary-participant
property disjoint with: has-quale
property disjoint with: has-quality
property disjoint with: t-inherent-in
property disjoint with: constant-participant-in
property disjoint with: participant
property disjoint with: quale-of
property disjoint with: spatio-temporally-present-at
property disjoint with: exact-location
property disjoint with: life
property disjoint with: total-constant-participant
property disjoint with: q-present-at
sub property of: temporary-part-of
property disjoint with: constant-participant
property disjoint with: spatio-temporal-presence-of
comment: Having the same parts at time t.
domain: endurant
range: endurant

perdurant
disjoint with: endurant
type: Class
disjoint with: spatial-location q
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
subclass of: spatio-temporal-particular
disjoint with: abstract-quality
disjoint with: temporal-region
disjoint with: non-physical-endurant
disjoint with: physical-quality
disjoint with: arbitrary-sum
disjoint with: temporal-location q
disjoint with: quality
disjoint with: space-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: abstract-region
disjoint with: non-physical-object
disjoint with: region
disjoint with: spatio-temporal-region
disjoint with: amount-of-matter
disjoint with: set
disjoint with: temporal-quality
subclass of: Thing
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: abstract
subclass of: particular
disjoint with: physical-object
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: proposition
disjoint with: quale
disjoint with: feature
disjoint with: physical-endurant
disjoint with: physical-region
disjoint with: relevant-part
disjoint with: time-interval
disjoint with: Nothing
disjoint with: dependent-place
disjoint with: quality-space
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#23
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#21
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#22
comment: Perdurants (AKA occurrences) comprise what are variously called events, processes, phenomena, activities and states. They can have temporal parts or spatial parts. For instance, the first movement of (an execution of) a symphony is a temporal part of the symphony. On the other hand, the play performed by the left side of the orchestra is a spatial part. In both cases, these parts are occurrences themselves. We assume that objects cannot be parts of occurrences, but rather they participate in them. Perdurants extend in time by accumulating different temporal parts, so that, at any time they are present, they are only partially present, in the sense that some of their proper temporal parts (e.g., their previous or future phases) may be not present. E.g., the piece of paper you are reading now is wholly present, while some temporal parts of your reading are not present yet, or any more. Philosophers say that endurants are entities that are in time, while lacking temporal parts (so to speak, all their parts flow with them in time). Perdurants, on the contrary, are entities that happen in time, and can have temporal parts (all their parts are fixed in time).
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#20
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#19

r-location
property disjoint with: t-inherent-in
sub property of: topObjectProperty
property disjoint with: abstract-location
property disjoint with: host
property disjoint with: host-of
inverse of: r-location-of
sub property of: immediate-relation
property disjoint with: total-temporary-participant
property disjoint with: inherent-in
property disjoint with: temporary-participant-in
property disjoint with: temporary-participant
property disjoint with: temporary-proper-part
property disjoint with: has-quale
property disjoint with: quale-of
property disjoint with: q-location-of
property disjoint with: q-location
property disjoint with: temporary-atomic-part
property disjoint with: physical-location
property disjoint with: has-t-quality
type: ObjectProperty
property disjoint with: temporary-proper-part-of
property disjoint with: life
property disjoint with: temporary-atomic-part-of
property disjoint with: total-constant-participant
property disjoint with: time-of-q-presence-of
property disjoint with: life-of
property disjoint with: constant-participant
property disjoint with: mereologically-coincides
property disjoint with: total-constant-participant-in
property disjoint with: has-quality
property disjoint with: temporary-part
property disjoint with: abstract-location-of
property disjoint with: constant-participant-in
property disjoint with: total-temporary-participant-in
property disjoint with: physical-location-of
property disjoint with: bottomObjectProperty
property disjoint with: participant
property disjoint with: q-present-at
property disjoint with: participant-in
property disjoint with: temporary-part-of
comment: A relation for representing regions within other regions, e.g. in measurement spaces (space composition).The result of r-location composition is a new 'composed region', which can either preserve the same region type (e.g. physical+physical->physical, or physical+abstract->physical), or not (e.g. physical+abstract->abstract). See 'composition description' for more details.In some cases, space composition is conventional, i.e. a space is just 'located' at another space, as in the case of measurement spaces:(direct composition): r r-location r1In other cases, r-location implies a complex path, e.g. :(homogeneous composition): r q-location-of q inherent-in x has-quality q1 q-location r1(heterogeneous composition across endurants and perdurants): r q-location-of q inherent-in e participant-in p has-quality q1 q-location r1(heterogeneous composition across physical and non-physical endurants): r q-location-of q inherent-in pe specific-constant-dependent npe has-quality q1 q-location r1
domain: region
range: region

spatial-location q
disjoint with: temporal-region
disjoint with: temporal-quality
disjoint with: quality-space
disjoint with: non-physical-endurant
disjoint with: accomplishment
subclass of: particular
complement of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: physical-object
disjoint with: set
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: time-interval
disjoint with: amount-of-matter
disjoint with: space-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: endurant
disjoint with: spatio-temporal-region
disjoint with: stative
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: abstract
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: quale
disjoint with: non-physical-object
disjoint with: process
disjoint with: Nothing
subclass of: Thing
disjoint with: temporal-location q
disjoint with: perdurant
disjoint with: region
disjoint with: abstract-quality
disjoint with: proposition
disjoint with: physical-region
disjoint with: arbitrary-sum
subclass of: quality
disjoint with: relevant-part
disjoint with: abstract-region
subclass of: physical-quality
disjoint with: dependent-place
disjoint with: feature
subclass of: spatio-temporal-particular
disjoint with: physical-endurant
disjoint with: event
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: achievement
type: Class
disjoint with: state
comment: A physical quality, q-located in (whose value is given within) ordinary spaces (geographical coordinates, cosmological positions, anatomical axes, etc.).

abstract-location
property disjoint with: temporary-part-of
property disjoint with: has-quale
property disjoint with: total-constant-participant-in
property disjoint with: temporary-atomic-part-of
property disjoint with: exact-location-of
property disjoint with: temporary-part
property disjoint with: host-of
sub property of: topObjectProperty
property disjoint with: temporary-participant
property disjoint with: bottomObjectProperty
property disjoint with: part
property disjoint with: inherent-in
property disjoint with: q-present-at
type: ObjectProperty
property disjoint with: proper-part
sub property of: mediated-relation
property disjoint with: atomic-part
property disjoint with: life
property disjoint with: temporary-participant-in
property disjoint with: life-of
property disjoint with: temporary-atomic-part
property disjoint with: r-location
property disjoint with: time-of-q-presence-of
inverse of: abstract-location-of
property disjoint with: quale-of
property disjoint with: q-location-of
property disjoint with: participant
sub property of: exact-location
property disjoint with: q-location
property disjoint with: constant-participant
property disjoint with: total-temporary-participant
property disjoint with: proper-part-of
property disjoint with: temporary-proper-part
property disjoint with: mereologically-coincides
property disjoint with: abstract-location-of
property disjoint with: physical-location-of
property disjoint with: participant-in
property disjoint with: boundary-of
property disjoint with: constant-participant-in
sub property of: generic-location
property disjoint with: specific-constant-constituent
property disjoint with: boundary
property disjoint with: host
property disjoint with: total-constant-participant
property disjoint with: has-quality
property disjoint with: physical-location
property disjoint with: t-inherent-in
property disjoint with: has-t-quality
property disjoint with: spatio-temporal-presence-of
property disjoint with: r-location-of
property disjoint with: total-temporary-participant-in
property disjoint with: spatio-temporally-present-at
property disjoint with: temporary-proper-part-of
property disjoint with: atomic-part-of
property disjoint with: part-of
comment: Analytical location holding between non-physical endurants and abstract regions.
domain: non-physical-endurant
range: abstract-region

abstract
disjoint with: temporal-location q
disjoint with: amount-of-matter
disjoint with: arbitrary-sum
disjoint with: abstract-quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: physical-endurant
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: feature
disjoint with: dependent-place
disjoint with: physical-object
subclass of: Thing
disjoint with: spatial-location q
disjoint with: quality
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: relevant-part
disjoint with: Nothing
disjoint with: endurant
disjoint with: achievement
disjoint with: stative
disjoint with: non-physical-endurant
subclass of: particular
disjoint with: physical-quality
disjoint with: spatio-temporal-particular
disjoint with: temporal-quality
disjoint with: state
disjoint with: event
disjoint with: perdurant
disjoint with: non-physical-object
type: Class
disjoint with: process
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: accomplishment
comment: The main characteristic of abstract entities is that they do not have spatial nor temporal qualities, and they are not qualities themselves. The only class of abstract entities we consider in the present version of the upper ontology is that of quality regions (or simply regions). Quality spaces are special kinds of quality regions, being mereological sums of all the regions related to a certain quality type. The other examples of abstract entities (sets and facts) are only indicative.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#1
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#3

non-physical-object
disjoint with: physical-object
disjoint with: perdurant
disjoint with: physical-endurant
disjoint with: region
subclass of: endurant
disjoint with: quality-space
disjoint with: quale
subclass of: Thing
disjoint with: Nothing
disjoint with: spatio-temporal-region
disjoint with: process
disjoint with: temporal-region
disjoint with: abstract-quality
disjoint with: feature
disjoint with: stative
disjoint with: state
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: abstract
disjoint with: temporal-location q
subclass of: particular
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: relevant-part
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: temporal-quality
disjoint with: time-interval
disjoint with: event
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
subclass of: spatio-temporal-particular
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: abstract-region
disjoint with: accomplishment
disjoint with: physical-region
disjoint with: set
disjoint with: achievement
disjoint with: amount-of-matter
disjoint with: arbitrary-sum
disjoint with: proposition
disjoint with: quality
disjoint with: spatial-location q
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: physical-quality
subclass of: non-physical-endurant
disjoint with: space-region
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: dependent-place
comment: Formerly known as description. A unitary endurant with no mass (non-physical), generically constantly depending on some agent, on some communication act, and indirectly on some agent participating in that act. Both descriptions (in the now current sense) and concepts are non-physical objects.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#17
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#18

non-physical-endurant
disjoint with: perdurant
disjoint with: physical-region
disjoint with: proposition
disjoint with: Nothing
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: physical-endurant
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: process
disjoint with: quale
disjoint with: spatial-location q
disjoint with: quality-space
disjoint with: space-region
disjoint with: temporal-quality
disjoint with: abstract
subclass of: endurant
disjoint with: stative
disjoint with: temporal-region
disjoint with: spatio-temporal-region
disjoint with: arbitrary-sum
disjoint with: abstract-quality
disjoint with: amount-of-matter
disjoint with: region
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: event
subclass of: Thing
disjoint with: set
disjoint with: accomplishment
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: relevant-part
disjoint with: temporal-location q
subclass of: spatio-temporal-particular
disjoint with: physical-quality
disjoint with: physical-object
disjoint with: state
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: abstract-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: quality
disjoint with: dependent-place
disjoint with: achievement
subclass of: particular
disjoint with: time-interval
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: feature
comment: An endurant with no mass, generically constantly depending on some agent. Non-physical endurants can have physical constituents (e.g. in the case of members of a collection).
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#15
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#16

endurant
subclass of: particular
disjoint with: temporal-quality
disjoint with: achievement
disjoint with: physical-quality
disjoint with: time-interval
disjoint with: proposition
disjoint with: state
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: spatial-location q
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: physical-region
disjoint with: spatio-temporal-region
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: event
disjoint with: region
disjoint with: abstract
disjoint with: quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: Nothing
disjoint with: temporal-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: perdurant
disjoint with: set
disjoint with: quality-space
disjoint with: space-region
disjoint with: accomplishment
disjoint with: abstract-quality
subclass of: spatio-temporal-particular
type: Class
disjoint with: stative
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: quale
disjoint with: process
disjoint with: temporal-location q
subclass of: Thing
disjoint with: abstract-region
comment: The main characteristic of endurants is that all of them are independent essential wholes. This does not mean that the corresponding property (being an endurant) carries proper unity, since there is no common unity criterion for endurants. Endurants can 'genuinely' change in time, in the sense that the very same endurant as a whole can have incompatible properties at different times. To see this, suppose that an endurant - say 'this paper' - has a property at a time t 'it's white', and a different, incompatible property at time t' 'it's yellow': in both cases we refer to the whole object, without picking up any particular part of it. Within endurants, we distinguish between physical and non-physical endurants, according to whether they have direct spatial qualities. Within physical endurants, we distinguish between amounts of matter, objects, and features.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#11
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#12
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#13

inherent-in
property disjoint with: temporary-atomic-part-of
property disjoint with: host
property disjoint with: participant-in
property disjoint with: exact-location-of
property disjoint with: time-of-q-presence-of
property disjoint with: physical-location
property disjoint with: temporary-atomic-part
property disjoint with: temporary-participant
property disjoint with: total-constant-participant
property disjoint with: temporary-part-of
property disjoint with: constant-participant
property disjoint with: abstract-location-of
property disjoint with: bottomObjectProperty
property disjoint with: temporary-part
property disjoint with: spatio-temporal-presence-of
property disjoint with: r-location
property disjoint with: total-temporary-participant-in
property disjoint with: constant-participant-in
property disjoint with: temporary-proper-part
property disjoint with: life-of
property disjoint with: life
inverse of: has-quality
property disjoint with: temporary-proper-part-of
property disjoint with: mereologically-coincides
property disjoint with: participant
type: ObjectProperty
property disjoint with: q-location-of
property disjoint with: r-location-of
sub property of: immediate-relation
property disjoint with: total-constant-participant-in
property disjoint with: temporary-participant-in
property disjoint with: host-of
sub property of: topObjectProperty
property disjoint with: physical-location-of
property disjoint with: abstract-location
property disjoint with: total-temporary-participant
property disjoint with: quale-of
comment: The immediate relation holding for qualities and entities.
domain: quality
range: particular

event
disjoint with: time-interval
disjoint with: endurant
disjoint with: relevant-part
disjoint with: temporal-quality
disjoint with: amount-of-matter
disjoint with: abstract
disjoint with: space-region
disjoint with: spatial-location q
subclass of: Thing
disjoint with: spatio-temporal-region
disjoint with: physical-object
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: quality-space
disjoint with: physical-region
disjoint with: non-physical-object
disjoint with: quale
subclass of: perdurant
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: region
disjoint with: abstract-quality
disjoint with: Nothing
disjoint with: temporal-region
disjoint with: physical-quality
disjoint with: set
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
type: Class
disjoint with: temporal-location q
disjoint with: arbitrary-sum
disjoint with: feature
subclass of: spatio-temporal-particular
disjoint with: physical-endurant
disjoint with: dependent-place
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: abstract-region
disjoint with: proposition
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
subclass of: particular
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: quality
disjoint with: non-physical-endurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
comment: An occurrence-type is stative or eventive according to whether it holds of the mereological sum of two of its instances, i.e. if it is cumulative or not. A sitting occurrence is stative since the sum of two sittings is still a sitting occurrence.In general, events differ from situations because they are not assumed to have a description from which they depend. They can be sequenced by some course, but they do not require a description as a unifying criterion.On the other hand, at any time, one can conceive a description that asserts the constraints by which an event of a certian type is such, and in this case, it becomes a situation.Since the decision of designing an explicit description that unifies a perdurant depends on context, task, interest, application, etc., when aligning an ontology do DLP, there can be indecision on where to align an event-oriented class. For example, in the WordNet alignment, we have decided to put only some physical events under 'event', e.g. 'discharge', in order to stress the social orientedness of DLP. But whereas we need to talk explicitly of the criteria by which we conceive discharge events, these will be put under 'situation'.Similar considerations are made for the other types of perdurants in DOLCE.A different notion of event (dealing with change) is currently investigated for further developments: being 'achievement', 'accomplishment', 'state', 'event', etc. can be also considered 'aspects' of processes or of parts of them. For example, the same process 'rock erosion in the Sinni valley' can be conceptualized as an accomplishment (what has brought the current state that e.g. we are trying to explain), as an achievement (the erosion process as the result of a previous accomplishment), as a state (if we collapse the time interval of the erosion into a time point), or as an event (what has changed our focus from a state to another).In the erosion case, we could have good motivations to shift from one aspect to another: a) causation…

region
disjoint with: non-physical-endurant
disjoint with: accomplishment
disjoint with: temporal-quality
subclass of: Thing
disjoint with: relevant-part
disjoint with: perdurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: physical-object
disjoint with: achievement
disjoint with: physical-quality
disjoint with: temporal-location q
disjoint with: non-physical-object
disjoint with: quality
disjoint with: Nothing
disjoint with: endurant
subclass of: particular
disjoint with: arbitrary-sum
disjoint with: spatial-location q
type: Class
disjoint with: abstract-quality
disjoint with: state
subclass of: abstract
disjoint with: amount-of-matter
disjoint with: process
disjoint with: feature
disjoint with: physical-endurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: dependent-place
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: spatio-temporal-particular
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: event
disjoint with: stative
comment: We distinguish between a quality (e.g., the color of a specific rose), and its value (e.g., a particular shade of red). The latter is called quale, and describes the position of an individual quality within a certain conceptual space (called here quality space) Gardenfors (2000). So when we say that two roses have (exactly) the same color, we mean that their color qualities, which are distinct, have the same position in the color space, that is they have the same color quale.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#44

relevant-part
disjoint with: quality-space
subclass of: Thing
disjoint with: arbitrary-sum
disjoint with: state
type: Class
disjoint with: region
disjoint with: proposition
subclass of: endurant
subclass of: particular
disjoint with: non-physical-object
disjoint with: spatio-temporal-region
disjoint with: spatial-location q
disjoint with: physical-object
subclass of: feature
subclass of: spatio-temporal-particular
disjoint with: abstract-quality
disjoint with: physical-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: achievement
disjoint with: physical-quality
disjoint with: temporal-location q
disjoint with: quality
disjoint with: perdurant
disjoint with: set
disjoint with: amount-of-matter
disjoint with: non-physical-endurant
disjoint with: quale
disjoint with: abstract
disjoint with: abstract-region
disjoint with: event
disjoint with: temporal-quality
subclass of: physical-endurant
disjoint with: accomplishment
disjoint with: Nothing
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: time-interval
disjoint with: process
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: space-region
disjoint with: temporal-region
disjoint with: stative
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
comment: Features that are relevant parts of their host, like a bump or an edge.

q-present-at
property disjoint with: r-location
property disjoint with: time-of-q-presence-of
property disjoint with: q-location
property disjoint with: proper-part-of
property disjoint with: temporary-part
property disjoint with: has-quale
property disjoint with: abstract-location-of
property disjoint with: atomic-part-of
property disjoint with: mereologically-coincides
property disjoint with: total-constant-participant-in
property disjoint with: physical-location
inverse of: time-of-q-presence-of
property disjoint with: total-temporary-participant
property disjoint with: total-constant-participant
type: ObjectProperty
property disjoint with: spatio-temporal-presence-of
property disjoint with: constant-participant
property disjoint with: part-of
sub property of: mediated-relation
property disjoint with: temporary-atomic-part
property disjoint with: r-location-of
property disjoint with: temporary-proper-part
property disjoint with: temporary-participant-in
property disjoint with: host
property disjoint with: total-temporary-participant-in
sub property of: topObjectProperty
property disjoint with: abstract-location
property disjoint with: has-quality
property disjoint with: physical-location-of
property disjoint with: boundary-of
property disjoint with: participant-in
property disjoint with: host-of
property disjoint with: exact-location-of
property disjoint with: life-of
property disjoint with: has-t-quality
property disjoint with: temporary-atomic-part-of
property disjoint with: temporary-proper-part-of
property disjoint with: spatio-temporally-present-at
property disjoint with: participant
property disjoint with: life
property disjoint with: constant-participant-in
property disjoint with: q-location-of
property disjoint with: temporary-participant
property disjoint with: quale-of
property disjoint with: bottomObjectProperty
property disjoint with: temporary-part-of
comment: Presence of a physical quality when inheres in an endurant.
domain: physical-quality
range: time-interval

space-region
disjoint with: stative
disjoint with: feature
disjoint with: endurant
disjoint with: Nothing
subclass of: Thing
disjoint with: time-interval
disjoint with: process
disjoint with: physical-endurant
subclass of: abstract
disjoint with: abstract-quality
disjoint with: event
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
type: Class
disjoint with: physical-object
disjoint with: spatial-location q
disjoint with: accomplishment
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: physical-quality
disjoint with: dependent-place
disjoint with: relevant-part
disjoint with: non-physical-endurant
disjoint with: non-physical-object
subclass of: region
subclass of: physical-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: amount-of-matter
subclass of: particular
disjoint with: spatio-temporal-particular
disjoint with: achievement
disjoint with: arbitrary-sum
disjoint with: perdurant
disjoint with: abstract-region
disjoint with: temporal-region
disjoint with: temporal-quality
disjoint with: temporal-location q
disjoint with: state
comment: An ordinary space: geographical, cosmological, anatomical, topographic, etc.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#45
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#46

feature
disjoint with: perdurant
disjoint with: proposition
disjoint with: set
disjoint with: physical-quality
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: event
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
subclass of: particular
subclass of: spatio-temporal-particular
disjoint with: non-physical-endurant
disjoint with: process
subclass of: endurant
disjoint with: temporal-region
disjoint with: Nothing
disjoint with: spatial-location q
disjoint with: space-region
disjoint with: physical-object
disjoint with: quale
disjoint with: region
disjoint with: temporal-quality
disjoint with: time-interval
disjoint with: arbitrary-sum
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: abstract-quality
disjoint with: quality-space
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: abstract
subclass of: physical-endurant
disjoint with: temporal-location q
disjoint with: abstract-region
disjoint with: accomplishment
disjoint with: physical-region
disjoint with: non-physical-object
disjoint with: achievement
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: spatio-temporal-region
disjoint with: state
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: amount-of-matter
disjoint with: quality
subclass of: Thing
disjoint with: stative
comment: Features are 'parasitic entities', that exist insofar their host exists. Typical examples of features are holes, bumps, boundaries, or spots of color. Features may be relevant parts of their host, like a bump or an edge, or dependent regions like a hole in a piece of cheese, the underneath of a table, the front of a house, or the shadow of a tree, which are not parts of their host. All features are essential wholes, but no common unity criterion may exist for all of them. However, typical features have a topological unity, as they are singular entities.Here only features of physical endurants are considered.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#14

process
disjoint with: abstract-region
disjoint with: amount-of-matter
subclass of: stative
disjoint with: non-physical-endurant
disjoint with: abstract
disjoint with: spatio-temporal-region
disjoint with: endurant
subclass of: particular
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
subclass of: Thing
subclass of: perdurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: arbitrary-sum
disjoint with: non-physical-object
disjoint with: feature
disjoint with: spatial-location q
disjoint with: quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: Nothing
disjoint with: quality-space
disjoint with: dependent-place
disjoint with: physical-quality
type: Class
disjoint with: temporal-location q
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: physical-region
disjoint with: quale
disjoint with: temporal-quality
disjoint with: abstract-quality
disjoint with: physical-object
disjoint with: time-interval
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
subclass of: spatio-temporal-particular
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: space-region
disjoint with: temporal-region
disjoint with: region
disjoint with: relevant-part
disjoint with: proposition
disjoint with: physical-endurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: set
comment: Within stative occurrences, we distinguish between states and processes according to homeomericity: sitting is classified as a state but running is classified as a process, since there are (very short) temporal parts of a running that are not themselves runnings. In general, processes differ from situations because they are not assumed to have a description from which they depend. They can be sequenced by some course, but they do not require a description as a unifying criterion. On the other hand, at any time, one can conceive a description that asserts the constraints by which a process of a certian type is such, and in this case, it becomes a situation. Since the decision of designing an explicit description that unifies a perdurant depends on context, task, interest, application, etc., when aligning an ontology do DLP, there can be indecision on where to align a process-oriented class. For example, in the WordNet alignment, we have decided to put only some physical processes under 'process', e.g. 'organic process', in order to stress the social orientedness of DLP. But whereas we need to talk explicitly of the criteria by which we conceive organic processes, these will be put under 'situation'. Similar considerations are made for the other types of perdurants in DOLCE. A different notion of event (dealing with change) is currently investigated for further developments: being 'achievement', 'accomplishment', 'state', 'event', etc. can be also considered 'aspects' of processes or of parts of them. For example, the same process 'rock erosion in the Sinni valley' can be conceptualized as an accomplishment (what has brought the current state that e.g. we are trying to explain), as an achievement (the erosion process as the result of a previous accomplishment), as a state (if we collapse the time interval of the erosion into a time point), or as an event (what has changed our focus from a state to another). In the erosion case, we could have good motivations to shift …

generic-dependent
sub property of: topObjectProperty
sub property of: immediate-relation
property disjoint with: bottomObjectProperty
inverse of: generically-dependent-on
type: ObjectProperty
comment: The dependence on an individual of a given type at some time. This is traditionally a relation between particulars and universals, but this one states that x generically depends on y if a z different from y, but with the same properties, can be equivalently its depend-on.This is a temporally-indexed relation (embedded in this syntax).
domain: particular
range: particular

quality-space
subclass of: particular
subclass of: region
disjoint with: dependent-place
disjoint with: arbitrary-sum
equivalent class: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: spatial-location q
disjoint with: physical-object
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: temporal-quality
disjoint with: event
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
subclass of: abstract
disjoint with: stative
disjoint with: temporal-location q
subclass of: Thing
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: process
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: endurant
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: amount-of-matter
disjoint with: spatio-temporal-particular
disjoint with: non-physical-endurant
disjoint with: perdurant
type: Class
disjoint with: accomplishment
disjoint with: abstract-quality
disjoint with: relevant-part
disjoint with: achievement
disjoint with: feature
disjoint with: state
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: physical-endurant
complement of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
disjoint with: physical-quality
disjoint with: quality
disjoint with: non-physical-object
disjoint with: Nothing
comment: A quality space is a topologically maximal region. The constraint of maximality cannot be given completely in OWL, but a constraint is given that creates a partition out of all quality spaces (e.g. no two quality spaces can overlap mereologically).

temporary-atomic-part
property disjoint with: life-of
sub property of: proper-part
sub property of: topObjectProperty
property disjoint with: total-temporary-participant
property disjoint with: participant
property disjoint with: abstract-location
property disjoint with: has-t-quality
property disjoint with: constant-participant
property disjoint with: life
property disjoint with: q-location-of
property disjoint with: q-location
property disjoint with: participant-in
property disjoint with: t-inherent-in
property disjoint with: physical-location-of
property disjoint with: time-of-q-presence-of
property disjoint with: constant-participant-in
property disjoint with: exact-location-of
property disjoint with: abstract-location-of
property disjoint with: temporary-participant
sub property of: immediate-relation
property disjoint with: physical-location
property disjoint with: has-quality
property disjoint with: q-present-at
property disjoint with: r-location
sub property of: temporary-proper-part
property disjoint with: spatio-temporal-presence-of
inverse of: temporary-atomic-part-of
property disjoint with: spatio-temporally-present-at
property disjoint with: bottomObjectProperty
sub property of: mediated-relation
property disjoint with: total-temporary-participant-in
sub property of: temporary-part
property disjoint with: r-location-of
property disjoint with: exact-location
property disjoint with: total-constant-participant-in
property disjoint with: temporary-participant-in
sub property of: mediated-relation-i
property disjoint with: quale-of
type: ObjectProperty
property disjoint with: inherent-in
sub property of: part
sub property of: partly-compresent
property disjoint with: total-constant-participant
property disjoint with: has-quale
comment: Having an atom as part at a time t.
domain: endurant
range: endurant

total-constant-participant
property disjoint with: atomic-part
property disjoint with: has-quality
property disjoint with: time-of-q-presence-of
property disjoint with: q-location
property disjoint with: temporary-atomic-part-of
property disjoint with: temporary-proper-part
property disjoint with: spatio-temporal-presence-of
property disjoint with: host
property disjoint with: constant-participant-in
property disjoint with: mereologically-coincides
property disjoint with: quale-of
property disjoint with: temporary-part-of
property disjoint with: temporary-proper-part-of
inverse of: total-constant-participant-in
property disjoint with: participant-in
property disjoint with: r-location-of
property disjoint with: proper-part-of
property disjoint with: has-t-quality
property disjoint with: boundary
sub property of: immediate-relation
property disjoint with: physical-location
sub property of: constant-participant
property disjoint with: has-quale
property disjoint with: physical-location-of
property disjoint with: atomic-part-of
property disjoint with: q-location-of
property disjoint with: temporary-part
property disjoint with: bottomObjectProperty
property disjoint with: temporary-atomic-part
property disjoint with: part
property disjoint with: exact-location
property disjoint with: proper-part
sub property of: topObjectProperty
property disjoint with: host-of
property disjoint with: total-constant-participant-in
property disjoint with: t-inherent-in
type: ObjectProperty
property disjoint with: abstract-location-of
sub property of: participant
property disjoint with: temporary-participant-in
property disjoint with: specific-constant-constituent
property disjoint with: specific-constant-constituent-of
property disjoint with: total-temporary-participant-in
property disjoint with: part-of
property disjoint with: inherent-in
property disjoint with: spatio-temporally-present-at
property disjoint with: life
property disjoint with: r-location
property disjoint with: exact-location-of
property disjoint with: q-present-at
property disjoint with: abstract-location
property disjoint with: boundary-of
comment: The perdurant p has a participant e that constantly participates in p with all its parts, e.g. in 'I played the concert' (where the concert is a solo concert).
domain: perdurant
range: endurant

weak-connection
sub property of: topObjectProperty
sub property of: immediate-relation-i
sub property of: immediate-relation
property disjoint with: bottomObjectProperty
type: SymmetricProperty
type: ObjectProperty
comment: The basic connection, not requiring a common boundary.
domain: particular
range: particular

temporary-proper-part
property disjoint with: participant
sub property of: proper-part
sub property of: mediated-relation-i
property disjoint with: total-constant-participant-in
property disjoint with: participant-in
sub property of: mediated-relation
property disjoint with: r-location
property disjoint with: has-quality
property disjoint with: inherent-in
property disjoint with: exact-location
property disjoint with: has-quale
property disjoint with: life
property disjoint with: spatio-temporal-presence-of
property disjoint with: temporary-participant-in
property disjoint with: has-t-quality
property disjoint with: abstract-location-of
property disjoint with: total-temporary-participant-in
property disjoint with: total-constant-participant
property disjoint with: quale-of
property disjoint with: time-of-q-presence-of
sub property of: immediate-relation
property disjoint with: exact-location-of
inverse of: temporary-proper-part-of
property disjoint with: q-present-at
property disjoint with: spatio-temporally-present-at
property disjoint with: constant-participant
property disjoint with: t-inherent-in
property disjoint with: abstract-location
property disjoint with: temporary-participant
property disjoint with: q-location-of
sub property of: topObjectProperty
property disjoint with: constant-participant-in
sub property of: partly-compresent
property disjoint with: r-location-of
property disjoint with: q-location
type: ObjectProperty
sub property of: temporary-part
property disjoint with: physical-location-of
property disjoint with: bottomObjectProperty
sub property of: part
property disjoint with: total-temporary-participant
property disjoint with: physical-location
property disjoint with: life-of
comment: Being proper part at time t. It holds for endurants only. This is important to model proper parts that can change or be lost over time without affecting the identity of the whole.
domain: endurant
range: endurant

mediated-relation
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
inverse of: mediated-relation-i
type: ObjectProperty
comment: A relation that composes other relations. For example, a participation relation composed with a representation relation.Composed relation cannot be directly expressed in OWL-DL, then (at least some) compositions are expressed as class or restriction axioms.
domain: particular
range: particular

host
property disjoint with: exact-location
property disjoint with: has-t-quality
property disjoint with: has-quale
property disjoint with: total-temporary-participant-in
property disjoint with: abstract-location-of
property disjoint with: r-location
property disjoint with: time-of-q-presence-of
property disjoint with: temporary-participant
property disjoint with: physical-location-of
property disjoint with: life-of
property disjoint with: quale-of
property disjoint with: r-location-of
property disjoint with: spatio-temporal-presence-of
property disjoint with: bottomObjectProperty
sub property of: immediate-relation-i
property disjoint with: q-present-at
property disjoint with: t-inherent-in
property disjoint with: total-constant-participant-in
inverse of: host-of
property disjoint with: abstract-location
property disjoint with: constant-participant
property disjoint with: participant
property disjoint with: total-temporary-participant
property disjoint with: physical-location
property disjoint with: life
type: ObjectProperty
property disjoint with: q-location
property disjoint with: q-location-of
property disjoint with: participant-in
property disjoint with: constant-participant-in
property disjoint with: inherent-in
sub property of: specifically-constantly-dependent-on
property disjoint with: total-constant-participant
property disjoint with: has-quality
property disjoint with: spatio-temporally-present-at
property disjoint with: exact-location-of
sub property of: topObjectProperty
property disjoint with: temporary-participant-in
comment: The immediate relation holding for features and entities.
domain: feature
range: physical-endurant

has-quale
property disjoint with: has-quality
property disjoint with: physical-location
property disjoint with: participant
property disjoint with: total-temporary-participant-in
property disjoint with: boundary-of
property disjoint with: host
sub property of: topObjectProperty
property disjoint with: temporary-atomic-part-of
property disjoint with: r-location-of
property disjoint with: life
property disjoint with: bottomObjectProperty
property disjoint with: life-of
property disjoint with: total-constant-participant
property disjoint with: temporary-proper-part-of
property disjoint with: mereologically-coincides
property disjoint with: temporary-part
property disjoint with: q-location-of
sub property of: immediate-relation
sub property of: q-location
property disjoint with: r-location
property disjoint with: q-present-at
property disjoint with: has-t-quality
property disjoint with: temporary-participant-in
property disjoint with: abstract-location
property disjoint with: temporary-participant
property disjoint with: temporary-part-of
property disjoint with: spatio-temporal-presence-of
type: ObjectProperty
property disjoint with: total-temporary-participant
inverse of: quale-of
property disjoint with: constant-participant-in
property disjoint with: exact-location-of
property disjoint with: quale-of
property disjoint with: total-constant-participant-in
property disjoint with: atomic-part-of
property disjoint with: participant-in
property disjoint with: proper-part-of
property disjoint with: time-of-q-presence-of
property disjoint with: host-of
property disjoint with: abstract-location-of
property disjoint with: constant-participant
property disjoint with: temporary-atomic-part
property disjoint with: physical-location-of
property disjoint with: temporary-proper-part
property disjoint with: part-of
comment: A quality having a q-location at an atomic region.
domain: quality
range: quale

spatio-temporal-particular
disjoint with: temporal-region
disjoint with: Nothing
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: abstract
subclass of: particular
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: time-interval
disjoint with: region
disjoint with: physical-region
equivalent class: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: quale
type: Class
disjoint with: proposition
disjoint with: abstract-region
disjoint with: space-region
subclass of: Thing
disjoint with: quality-space
equivalent class: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: set
disjoint with: spatio-temporal-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
comment: Dummy class for optimizing some property universes. It includes all entities that are not reifications of universals ('abstracts'), i.e. those entities that are in space-time.

physical-location
property disjoint with: proper-part
property disjoint with: total-temporary-participant
property disjoint with: q-present-at
property disjoint with: temporary-participant-in
property disjoint with: has-quale
property disjoint with: temporary-participant
property disjoint with: life-of
property disjoint with: has-t-quality
type: ObjectProperty
property disjoint with: temporary-proper-part
property disjoint with: proper-part-of
property disjoint with: specific-constant-constituent
property disjoint with: temporary-atomic-part-of
property disjoint with: q-location
sub property of: generic-location
property disjoint with: constant-participant-in
property disjoint with: inherent-in
property disjoint with: physical-location-of
property disjoint with: atomic-part
property disjoint with: boundary-of
property disjoint with: temporary-part
inverse of: physical-location-of
property disjoint with: bottomObjectProperty
property disjoint with: mereologically-coincides
property disjoint with: total-constant-participant-in
sub property of: mediated-relation
property disjoint with: abstract-location
property disjoint with: temporary-part-of
property disjoint with: part
property disjoint with: r-location
property disjoint with: quale-of
property disjoint with: boundary
sub property of: topObjectProperty
property disjoint with: host
property disjoint with: spatio-temporal-presence-of
property disjoint with: r-location-of
property disjoint with: total-constant-participant
property disjoint with: abstract-location-of
property disjoint with: host-of
sub property of: exact-location
property disjoint with: exact-location-of
property disjoint with: atomic-part-of
property disjoint with: temporary-proper-part-of
property disjoint with: life
property disjoint with: has-quality
property disjoint with: part-of
property disjoint with: temporary-atomic-part
property disjoint with: q-location-of
property disjoint with: time-of-q-presence-of
property disjoint with: constant-participant
property disjoint with: t-inherent-in
property disjoint with: participant
property disjoint with: total-temporary-participant-in
property disjoint with: participant-in
comment: Analytical location holding between physical endurants and physical regions.
domain: physical-endurant
range: physical-region

immediate-relation-i
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
inverse of: immediate-relation
type: ObjectProperty
comment: A relation that holds without additional mediating individuals. In logical terms, a non-composed relation.
domain: particular
range: particular

specific-constant-constituent
property disjoint with: total-temporary-participant-in
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
property disjoint with: participant
type: ObjectProperty
property disjoint with: constant-participant-in
property disjoint with: participant-in
property disjoint with: temporary-participant
sub property of: immediate-relation
inverse of: specific-constant-constituent-of
property disjoint with: constant-participant
property disjoint with: abstract-location
property disjoint with: total-constant-participant-in
property disjoint with: life-of
property disjoint with: total-constant-participant
property disjoint with: total-temporary-participant
property disjoint with: life
property disjoint with: physical-location
property disjoint with: temporary-participant-in
comment: 'Constituent' should depend on some layering of the ontology. For example, scientific granularities or ontological 'strata' are typical layerings. A constituent is a part belonging to a lower layer. Since layering is actually a partition of the ontology, constituents are not properly classified as parts, although this kinship can be intuitive for common sense. Example of specific constant constituents are the entities constituting a setting (a situation), whilethe entities constituting a collection are examples of generic constant constituents.
domain: particular
range: particular

temporal-location q
type: Class
disjoint with: amount-of-matter
complement of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: physical-endurant
disjoint with: proposition
disjoint with: achievement
disjoint with: physical-quality
disjoint with: feature
disjoint with: spatial-location q
subclass of: particular
disjoint with: abstract-region
disjoint with: state
subclass of: quality
disjoint with: dependent-place
disjoint with: space-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: spatio-temporal-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: quality-space
disjoint with: stative
disjoint with: arbitrary-sum
disjoint with: abstract-quality
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: quale
disjoint with: relevant-part
disjoint with: physical-region
disjoint with: time-interval
disjoint with: accomplishment
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: physical-object
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
subclass of: Thing
disjoint with: non-physical-object
subclass of: spatio-temporal-particular
disjoint with: abstract
disjoint with: non-physical-endurant
disjoint with: temporal-region
disjoint with: Nothing
disjoint with: perdurant
disjoint with: region
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
subclass of: temporal-quality
disjoint with: process
disjoint with: event
disjoint with: endurant
disjoint with: set
comment: A temporal location quality.

time-interval
disjoint with: abstract-region
disjoint with: stative
disjoint with: endurant
disjoint with: event
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: quality
disjoint with: spatial-location q
subclass of: particular
subclass of: abstract
disjoint with: relevant-part
disjoint with: Nothing
disjoint with: physical-region
disjoint with: accomplishment
disjoint with: spatio-temporal-region
disjoint with: arbitrary-sum
disjoint with: non-physical-endurant
subclass of: temporal-region
disjoint with: non-physical-object
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: amount-of-matter
subclass of: region
disjoint with: temporal-location q
disjoint with: physical-object
disjoint with: spatio-temporal-particular
disjoint with: physical-endurant
disjoint with: physical-quality
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: feature
disjoint with: space-region
disjoint with: achievement
disjoint with: temporal-quality
subclass of: Thing
disjoint with: abstract-quality
disjoint with: process
disjoint with: dependent-place
disjoint with: state
disjoint with: perdurant
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
comment: A temporal region, measured according to a calendar.

part
property disjoint with: bottomObjectProperty
sub property of: immediate-relation
property disjoint with: total-constant-participant-in
property disjoint with: life
property disjoint with: abstract-location-of
property disjoint with: life-of
property disjoint with: abstract-location
property disjoint with: q-location-of
property disjoint with: time-of-q-presence-of
property disjoint with: participant
property disjoint with: physical-location-of
type: TransitiveProperty
property disjoint with: total-temporary-participant
property disjoint with: temporary-participant-in
property disjoint with: constant-participant
type: ObjectProperty
sub property of: topObjectProperty
property disjoint with: total-temporary-participant-in
property disjoint with: participant-in
property disjoint with: total-constant-participant
property disjoint with: quale-of
property disjoint with: temporary-participant
property disjoint with: physical-location
inverse of: part-of
property disjoint with: constant-participant-in
comment: The most generic part relation, reflexive, asymmetric, and transitive.
domain: particular
range: particular

set
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: physical-quality
disjoint with: spatio-temporal-particular
disjoint with: relevant-part
subclass of: Thing
disjoint with: achievement
type: Class
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: event
disjoint with: amount-of-matter
disjoint with: temporal-location q
disjoint with: abstract-quality
disjoint with: non-physical-endurant
disjoint with: process
disjoint with: quality
disjoint with: dependent-place
disjoint with: arbitrary-sum
disjoint with: physical-endurant
subclass of: particular
disjoint with: spatial-location q
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: accomplishment
disjoint with: physical-object
disjoint with: perdurant
disjoint with: state
disjoint with: stative
disjoint with: Nothing
disjoint with: endurant
disjoint with: feature
disjoint with: temporal-quality
disjoint with: non-physical-object
subclass of: abstract
comment: A mathematical set.

physical-endurant
disjoint with: non-physical-object
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#4
disjoint with: perdurant
disjoint with: space-region
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#34
disjoint with: set
disjoint with: accomplishment
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#2
disjoint with: time-interval
disjoint with: abstract-quality
disjoint with: stative
disjoint with: temporal-quality
disjoint with: state
subclass of: spatio-temporal-particular
subclass of: Thing
disjoint with: non-physical-endurant
disjoint with: physical-region
disjoint with: temporal-location q
type: Class
disjoint with: achievement
disjoint with: arbitrary-sum
disjoint with: proposition
disjoint with: spatial-location q
subclass of: endurant
disjoint with: abstract-region
disjoint with: physical-quality
disjoint with: event
disjoint with: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#39
disjoint with: quality-space
disjoint with: abstract
disjoint with: temporal-region
disjoint with: process
subclass of: particular
disjoint with: region
disjoint with: Nothing
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#49
disjoint with: spatio-temporal-region
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#47
disjoint with: quality
disjoint with: quale
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#42
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#28
comment: An endurant having a direct physical (at least spatial) quality.
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#25
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#24
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#27
subclass of: http://lodlaundromat.org/.well-known/genid/90e1a09a79aca5bc7151227329cad1a0#26

DOLCE-Lite.owl
type: Ontology
comment: The DOLCE and DnS ontologies. OWL engineering by Aldo Gangemi.
version info: 397
version info: classified