Typology

An achievement is an event.

Typology

An amount of matter is a physical endurant.

Distinctions

No amount of matter is a physical object, or a feature.

Typology

An arbitrary sum is an endurant.

Description

An arbitrary sum is part an endurant.

Distinctions

No arbitrary sum is a physical endurant, or a non physical endurant.

Typology

A dependent place is a feature.

Typology

An endurant is a spatio temporal particular.

Description

If any of the following relationships hold between X and Y then Y is an endurant: "is total temporary participant", "is total constant participant", "is temporary proper part of", "is temporary proper part", "is temporary participant", "is temporary part of", "is temporary part", "is temporary atomic part of", "is temporary atomic part", "is participant", "is mereologically coincides", "is life of" and "is constant participant".

If any of the following relationships hold between X and Y then X is an endurant: "is total temporary participant in", "is total constant participant in", "is temporary proper part of", "is temporary proper part", "is temporary participant in", "is temporary part of", "is temporary part", "is temporary atomic part of", "is temporary atomic part", "is participant in", "is mereologically coincides", "is life" and "is constant participant in".

An endurant both is specific constant constituent only an endurant, and is part only an endurant.

An endurant is participant in a perdurant.

Examples

The following are endurants: physical endurants, non physical endurants, and arbitrary sums.

Distinctions

No endurant is a perdurant.

Typology

An event is a perdurant.

Examples

Achievements, and accomplishments are events.

Typology

A feature is a physical endurant.

Description

A feature is host a physical endurant.

If X is host of Y then Y is a feature.

If X is host Y then X is a feature.

Examples

Relevant parts, and dependent places are features.

Distinctions

No amount of matter is a feature.

No feature is a physical object.

Typology

The property "is abstract location" is a sub-property of "is exact location".

Description

If X is abstract location Y then X is a non physical endurant.

X is abstract location Y if and only if Y is abstract location of X.

Typology

The property "is abstract location of" is a sub-property of "is exact location of".

Description

If X is abstract location of Y then Y is a non physical endurant.

X is abstract location Y if and only if Y is abstract location of X.

Typology

The property "is atomic part" is a sub-property of "is part".

Description

If X is atomic part Y then Y is a particular.

If X is atomic part Y then X is a particular.

X is atomic part Y if and only if Y is atomic part of X.

Typology

The property "is atomic part of" is a sub-property of "is part of".

Description

If X is atomic part of Y then Y is a particular.

If X is atomic part of Y then X is a particular.

X is atomic part Y if and only if Y is atomic part of X.

Typology

The property "is boundary" is a sub-property of "is proper part".

Description

If X is boundary Y then Y is a particular.

If X is boundary Y then X is a particular.

X is boundary Y if and only if Y is boundary of X.

Typology

The property "is boundary of" is a sub-property of "is proper part of".

Description

If X is boundary of Y then Y is a particular.

If X is boundary of Y then X is a particular.

X is boundary Y if and only if Y is boundary of X.

Typology

The property "is constant participant" is a sub-property of "is participant".

Description

The following properties are sub-properties of "is constant participant": "is total constant participant" and "is life of".

If X is constant participant Y then Y is an endurant.

If X is constant participant Y then X is a perdurant.

X is constant participant in Y if and only if Y is constant participant X.

Typology

The property "is constant participant in" is a sub-property of "is participant in".

Description

The following properties are sub-properties of "is constant participant in": "is total constant participant in" and "is life".

If X is constant participant in Y then Y is a perdurant.

If X is constant participant in Y then X is an endurant.

X is constant participant in Y if and only if Y is constant participant X.

Typology

The property "is exact location" is a sub-property of "is generic location".

Description

The following properties are sub-properties of "is exact location": "is spatio temporally present at", "is physical location" and "is abstract location".

If X is exact location Y then X is a particular.

X is exact location Y if and only if Y is exact location of X.

Typology

The property "is exact location of" is a sub-property of "is generic location of".

Description

The following properties are sub-properties of "is exact location of": "is spatio temporal presence of", "is physical location of" and "is abstract location of".

If X is exact location of Y then Y is a particular.

X is exact location Y if and only if Y is exact location of X.

Typology

The property "is generic constituent" is a sub-property of "is immediate relation".

Description

If X is generic constituent Y then Y is a particular.

If X is generic constituent Y then X is a particular.

X is generic constituent of Y if and only if Y is generic constituent X.

Typology

The property "is generic constituent of" is a sub-property of "is immediate relation i".

Description

If X is generic constituent of Y then Y is a particular.

If X is generic constituent of Y then X is a particular.

X is generic constituent of Y if and only if Y is generic constituent X.

Typology

The property "is generic dependent" is a sub-property of "is immediate relation".

Description

If X is generic dependent Y then Y is a particular.

If X is generic dependent Y then X is a particular.

X is generic dependent Y if and only if Y is generically dependent on X.

Typology

The property "is generic location" is a sub-property of "is mediated relation".

Description

The property "is exact location" is a sub-property of "is generic location".

If X is generic location Y then Y is a particular.

If X is generic location Y then X is a particular.

X is generic location of Y if and only if Y is generic location X.

Typology

The property "is generic location of" is a sub-property of "is mediated relation i".

Description

The property "is exact location of" is a sub-property of "is generic location of".

If X is generic location of Y then Y is a particular.

If X is generic location of Y then X is a particular.

X is generic location of Y if and only if Y is generic location X.

Typology

The property "is generically dependent on" is a sub-property of "is immediate relation i".

Description

If X is generically dependent on Y then Y is a particular.

If X is generically dependent on Y then X is a particular.

X is generic dependent Y if and only if Y is generically dependent on X.

Typology

The property "is host" is a sub-property of "is specifically constantly dependent on".

Description

If X is host Y then Y is a physical endurant.

If X is host Y then X is a feature.

X is host of Y if and only if Y is host X.

Typology

The property "is host of" is a sub-property of "is specific constant dependent".

Description

If X is host of Y then Y is a feature.

If X is host of Y then X is a physical endurant.

X is host of Y if and only if Y is host X.

Typology

The property "is identity c" is a sub-property of "is immediate relation".

Description

inverseObjectProperties(objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-c'), [objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-c'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-c')]).

inverseObjectProperties([objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-c'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-c')], objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-c')).

If X is identity c Y then Y is a particular.

If X is identity c Y then X is a particular.

The property "is identity c" is transitive.

Typology

The property "is identity n" is a sub-property of "is immediate relation".

Description

inverseObjectProperties(objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-n'), [objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-n'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-n')]).

inverseObjectProperties([objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-n'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-n')], objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#identity-n')).

If X is identity n Y then Y is a particular.

If X is identity n Y then X is a particular.

The property "is identity n" is transitive.

Description

The following properties are sub-properties of "is immediate relation": "is weak connection", "is specific constant dependent", "is specific constant constituent", "is r location", "is q location", "is participant", "is part", "is inherent in", "is identity n", "is identity c", "is generic dependent" and "is generic constituent".

If X is immediate relation Y then Y is a particular.

If X is immediate relation Y then X is a particular.

X is immediate relation i Y if and only if Y is immediate relation X.

Description

The following properties are sub-properties of "is immediate relation i": "is specifically constantly dependent on", "is specific constant constituent of", "is r location of", "is q location of", "is participant in", "is part of", "is generically dependent on" and "is generic constituent of".

If X is immediate relation i Y then Y is a particular.

If X is immediate relation i Y then X is a particular.

X is immediate relation i Y if and only if Y is immediate relation X.

Typology

The property "is inherent in" is a sub-property of "is immediate relation".

Description

The property "is t inherent in" is a sub-property of "is inherent in".

If X is inherent in Y then Y is a particular.

Typology

The property "is life" is a sub-property of "is constant participant in".

Description

If X is life Y then Y is a perdurant.

If X is life Y then X is an endurant.

X is life Y if and only if Y is life of X.

Typology

The property "is life of" is a sub-property of "is constant participant".

Description

If X is life of Y then Y is an endurant.

If X is life of Y then X is a perdurant.

X is life Y if and only if Y is life of X.

Description

The following properties are sub-properties of "is mediated relation": "is strong connection", "is sibling part", "is q present at", "is partly compresent", "overlaps" and "is generic location".

If X is mediated relation Y then Y is a particular.

If X is mediated relation Y then X is a particular.

X is mediated relation i Y if and only if Y is mediated relation X.

Description

The following properties are sub-properties of "is mediated relation i": "is time of q presence of" and "is generic location of".

If X is mediated relation i Y then Y is a particular.

If X is mediated relation i Y then X is a particular.

X is mediated relation i Y if and only if Y is mediated relation X.

Typology

The property "is mereologically coincides" is a sub-property of "is temporary part".

Description

inverseObjectProperties(objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#mereologically-coincides'), [objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#mereologically-coincides'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#mereologically-coincides')]).

inverseObjectProperties([objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#mereologically-coincides'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#mereologically-coincides')], objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#mereologically-coincides')).

If X is mereologically coincides Y then Y is an endurant.

If X is mereologically coincides Y then X is an endurant.

Typology

The property "is part" is a sub-property of "is immediate relation".

Description

The following properties are sub-properties of "is part": "is temporary part", "is proper part" and "is atomic part".

If X is part Y then Y is a particular.

If X is part Y then X is a particular.

X is part of Y if and only if Y is part X.

The property "is part" is transitive.

Typology

The property "is part of" is a sub-property of "is immediate relation i".

Description

The following properties are sub-properties of "is part of": "is temporary part of", "is proper part of" and "is atomic part of".

If X is part of Y then Y is a particular.

If X is part of Y then X is a particular.

X is part of Y if and only if Y is part X.

The property "is part of" is transitive.

Typology

The property "is participant" is a sub-property of "is immediate relation".

Description

The following properties are sub-properties of "is participant": "is temporary participant" and "is constant participant".

If X is participant Y then Y is an endurant.

If X is participant Y then X is a perdurant.

X is participant Y if and only if Y is participant in X.

Typology

The property "is participant in" is a sub-property of "is immediate relation i".

Description

The following properties are sub-properties of "is participant in": "is temporary participant in" and "is constant participant in".

If X is participant in Y then Y is a perdurant.

If X is participant in Y then X is an endurant.

X is participant Y if and only if Y is participant in X.

Typology

The property "is partly compresent" is a sub-property of "is mediated relation".

Description

The following properties are sub-properties of "is partly compresent": "is temporary part of" and "is temporary part".

inverseObjectProperties(objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#partly-compresent'), [objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#partly-compresent'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#partly-compresent')]).

inverseObjectProperties([objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#partly-compresent'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#partly-compresent')], objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#partly-compresent')).

If X is partly compresent Y then Y is a particular.

If X is partly compresent Y then X is a particular.

Typology

The property "is physical location" is a sub-property of "is exact location".

Description

If X is physical location Y then X is a physical endurant.

X is physical location Y if and only if Y is physical location of X.

Typology

The property "is physical location of" is a sub-property of "is exact location of".

Description

If X is physical location of Y then Y is a physical endurant.

X is physical location Y if and only if Y is physical location of X.

Typology

The property "is proper part" is a sub-property of "is part".

Description

The following properties are sub-properties of "is proper part": "is temporary proper part" and "is boundary".

If X is proper part Y then Y is a particular.

If X is proper part Y then X is a particular.

X is proper part Y if and only if Y is proper part of X.

The property "is proper part" is transitive.

Typology

The property "is proper part of" is a sub-property of "is part of".

Description

The following properties are sub-properties of "is proper part of": "is temporary proper part of" and "is boundary of".

If X is proper part of Y then Y is a particular.

If X is proper part of Y then X is a particular.

X is proper part Y if and only if Y is proper part of X.

The property "is proper part of" is transitive.

Typology

The property "is q location" is a sub-property of "is immediate relation".

Description

X is q location Y if and only if Y is q location of X.

Typology

The property "is q location of" is a sub-property of "is immediate relation i".

Description

X is q location Y if and only if Y is q location of X.

Typology

The property "is q present at" is a sub-property of "is mediated relation".

Description

X is time of q presence of Y if and only if Y is q present at X.

Typology

The property "is r location" is a sub-property of "is immediate relation".

Description

X is r location Y if and only if Y is r location of X.

Typology

The property "is r location of" is a sub-property of "is immediate relation i".

Description

X is r location Y if and only if Y is r location of X.

Typology

The property "is sibling part" is a sub-property of "is mediated relation".

Description

inverseObjectProperties(objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#sibling-part'), [objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#sibling-part'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#sibling-part')]).

inverseObjectProperties([objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#sibling-part'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#sibling-part')], objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#sibling-part')).

If X is sibling part Y then Y is a particular.

If X is sibling part Y then X is a particular.

Typology

The property "is spatio temporal presence of" is a sub-property of "is exact location of".

Description

If X is spatio temporal presence of Y then Y is a particular.

X is spatio temporal presence of Y if and only if Y is spatio temporally present at X.

Typology

The property "is spatio temporally present at" is a sub-property of "is exact location".

Description

If X is spatio temporally present at Y then X is a particular.

X is spatio temporal presence of Y if and only if Y is spatio temporally present at X.

Typology

The property "is specific constant constituent" is a sub-property of "is immediate relation".

Description

If X is specific constant constituent Y then Y is a particular.

If X is specific constant constituent Y then X is a particular.

X is specific constant constituent Y if and only if Y is specific constant constituent of X.

Typology

The property "is specific constant constituent of" is a sub-property of "is immediate relation i".

Description

If X is specific constant constituent of Y then Y is a particular.

If X is specific constant constituent of Y then X is a particular.

X is specific constant constituent Y if and only if Y is specific constant constituent of X.

Typology

The property "is specific constant dependent" is a sub-property of "is immediate relation".

Description

The property "is host of" is a sub-property of "is specific constant dependent".

If X is specific constant dependent Y then Y is a particular.

If X is specific constant dependent Y then X is a particular.

X is specific constant dependent Y if and only if Y is specifically constantly dependent on X.

Typology

The property "is specifically constantly dependent on" is a sub-property of "is immediate relation i".

Description

The property "is host" is a sub-property of "is specifically constantly dependent on".

If X is specifically constantly dependent on Y then Y is a particular.

If X is specifically constantly dependent on Y then X is a particular.

X is specific constant dependent Y if and only if Y is specifically constantly dependent on X.

Typology

The property "is strong connection" is a sub-property of "is mediated relation".

Description

inverseObjectProperties(objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#strong-connection'), [objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#strong-connection'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#strong-connection')]).

inverseObjectProperties([objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#strong-connection'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#strong-connection')], objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#strong-connection')).

If X is strong connection Y then Y is a particular.

If X is strong connection Y then X is a particular.

Typology

The property "is t inherent in" is a sub-property of "is inherent in".

Description

If X is t inherent in Y then Y is a particular.

Typology

The property "is temporary atomic part" is a sub-property of "is temporary proper part".

Description

If X is temporary atomic part Y then Y is an endurant.

If X is temporary atomic part Y then X is an endurant.

X is temporary atomic part of Y if and only if Y is temporary atomic part X.

Typology

The property "is temporary atomic part of" is a sub-property of "is temporary proper part of".

Description

If X is temporary atomic part of Y then Y is an endurant.

If X is temporary atomic part of Y then X is an endurant.

X is temporary atomic part of Y if and only if Y is temporary atomic part X.

Typology

The property "is temporary part" is a sub-property of the following properties: "is partly compresent" and "is part".

Description

The following properties are sub-properties of "is temporary part": "is temporary proper part" and "is mereologically coincides".

If X is temporary part Y then Y is an endurant.

If X is temporary part Y then X is an endurant.

X is temporary part of Y if and only if Y is temporary part X.

Typology

The property "is temporary part of" is a sub-property of the following properties: "is partly compresent" and "is part of".

Description

The property "is temporary proper part of" is a sub-property of "is temporary part of".

If X is temporary part of Y then Y is an endurant.

If X is temporary part of Y then X is an endurant.

X is temporary part of Y if and only if Y is temporary part X.

Typology

The property "is temporary participant" is a sub-property of "is participant".

Description

The property "is total temporary participant" is a sub-property of "is temporary participant".

If X is temporary participant Y then Y is an endurant.

If X is temporary participant Y then X is a perdurant.

X is temporary participant Y if and only if Y is temporary participant in X.

Typology

The property "is temporary participant in" is a sub-property of "is participant in".

Description

The property "is total temporary participant in" is a sub-property of "is temporary participant in".

If X is temporary participant in Y then Y is a perdurant.

If X is temporary participant in Y then X is an endurant.

X is temporary participant Y if and only if Y is temporary participant in X.

Typology

The property "is temporary proper part" is a sub-property of the following properties: "is temporary part" and "is proper part".

Description

The property "is temporary atomic part" is a sub-property of "is temporary proper part".

If X is temporary proper part Y then Y is an endurant.

If X is temporary proper part Y then X is an endurant.

X is temporary proper part Y if and only if Y is temporary proper part of X.

Typology

The property "is temporary proper part of" is a sub-property of the following properties: "is temporary part of" and "is proper part of".

Description

The property "is temporary atomic part of" is a sub-property of "is temporary proper part of".

If X is temporary proper part of Y then Y is an endurant.

If X is temporary proper part of Y then X is an endurant.

X is temporary proper part Y if and only if Y is temporary proper part of X.

Typology

The property "is time of q presence of" is a sub-property of "is mediated relation i".

Description

X is time of q presence of Y if and only if Y is q present at X.

Typology

The property "is total constant participant" is a sub-property of "is constant participant".

Description

If X is total constant participant Y then Y is an endurant.

If X is total constant participant Y then X is a perdurant.

X is total constant participant Y if and only if Y is total constant participant in X.

Typology

The property "is total constant participant in" is a sub-property of "is constant participant in".

Description

If X is total constant participant in Y then Y is a perdurant.

If X is total constant participant in Y then X is an endurant.

X is total constant participant Y if and only if Y is total constant participant in X.

Typology

The property "is total temporary participant" is a sub-property of "is temporary participant".

Description

If X is total temporary participant Y then Y is an endurant.

If X is total temporary participant Y then X is a perdurant.

X is total temporary participant in Y if and only if Y is total temporary participant X.

Typology

The property "is total temporary participant in" is a sub-property of "is temporary participant in".

Description

If X is total temporary participant in Y then Y is a perdurant.

If X is total temporary participant in Y then X is an endurant.

X is total temporary participant in Y if and only if Y is total temporary participant X.

Typology

The property "is weak connection" is a sub-property of "is immediate relation".

Description

inverseObjectProperties(objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#weak-connection'), [objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#weak-connection'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#weak-connection')]).

inverseObjectProperties([objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#weak-connection'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#weak-connection')], objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#weak-connection')).

If X is weak connection Y then Y is a particular.

If X is weak connection Y then X is a particular.

Typology

A non physical endurant is an endurant.

Description

A non physical endurant is part only a non physical endurant.

If X is abstract location of Y then Y is a non physical endurant.

If X is abstract location Y then X is a non physical endurant.

Examples

A non physical object is a non physical endurant.

Distinctions

No arbitrary sum is a non physical endurant.

No non physical endurant is a physical endurant.

Typology

A non physical object is a non physical endurant.

Description

A non physical object is generically dependent on a physical endurant.

A non physical object is part only a non physical object.

Typology

The property "overlaps" is a sub-property of "is mediated relation".

Description

inverseObjectProperties(objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#overlaps'), [objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#overlaps'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#overlaps')]).

inverseObjectProperties([objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#overlaps'), objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#overlaps')], objectProperty('http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#overlaps')).

If X overlaps Y then Y is a particular.

If X overlaps Y then X is a particular.

Description

If any of the following relationships hold between X and Y then Y is a particular: "is weak connection", "is t inherent in", "is strong connection", "is specifically constantly dependent on", "is specific constant dependent", "is specific constant constituent of", "is specific constant constituent", "is spatio temporal presence of", "is sibling part", "is proper part of", "is proper part", "is partly compresent", "is part of", "is part", "overlaps", "is mediated relation i", "is mediated relation", "is inherent in", "is immediate relation i", "is immediate relation", "is identity n", "is identity c", "is generically dependent on", "is generic location of", "is generic location", "is generic dependent", "is generic constituent of", "is generic constituent", "is exact location of", "is boundary of", "is boundary", "is atomic part of" and "is atomic part".

If any of the following relationships hold between X and Y then X is a particular: "is weak connection", "is strong connection", "is specifically constantly dependent on", "is specific constant dependent", "is specific constant constituent of", "is specific constant constituent", "is spatio temporally present at", "is sibling part", "is proper part of", "is proper part", "is partly compresent", "is part of", "is part", "overlaps", "is mediated relation i", "is mediated relation", "is immediate relation i", "is immediate relation", "is identity n", "is identity c", "is generically dependent on", "is generic location of", "is generic location", "is generic dependent", "is generic constituent of", "is generic constituent", "is exact location", "is boundary of", "is boundary", "is atomic part of" and "is atomic part".

Typology

A perdurant is a spatio temporal particular.

Description

If any of the following relationships hold between X and Y then Y is a perdurant: "is total temporary participant in", "is total constant participant in", "is temporary participant in", "is participant in", "is life" and "is constant participant in".

If any of the following relationships hold between X and Y then X is a perdurant: "is total temporary participant", "is total constant participant", "is temporary participant", "is participant", "is life of" and "is constant participant".

A perdurant both is specific constant constituent only a perdurant, and is part only a perdurant.

A perdurant is participant an endurant.

Examples

Statives, and events are perdurants.

Distinctions

No endurant is a perdurant.

Typology

A physical endurant is an endurant.

Description

A physical endurant both is specific constant constituent only a physical endurant, and is part only a physical endurant.

If any of the following relationships hold between X and Y then Y is a physical endurant: "is physical location of" and "is host".

If any of the following relationships hold between X and Y then X is a physical endurant: "is physical location" and "is host of".

Examples

The following are physical endurants: physical objects, features, and amounts of matter.

Distinctions

No non physical endurants or arbitrary sums are physical endurants.

Typology

A physical object is a physical endurant.

Distinctions

No features or amounts of matter are physical objects.

Typology

A process is a stative.

Typology

A relevant part is a feature.

Definition

A spatio temporal particular is defined as a particular that is an endurant, or is a perdurant.

Examples

Perdurants, and endurants are spatio temporal particulars.

Typology

A state is a stative.

Typology

A stative is a perdurant.

Examples

States, and process are statives.