Typology | The property "concludes" is a sub-property of "is temporally included in". |
Description | If X concludes Y then Y is a perdurant. If X concludes Y then X is a perdurant. X is concluded by Y if and only if Y concludes X. |
Description | If any of the following relationships hold between X and Y then Y is an endurant: "is time of presence of" and "is e temporal location of". If any of the following relationships hold between X and Y then X is an endurant: "is present at" and "is e temporal location". |
Typology | The property "follows" is a sub-property of "is temporal relation i". |
Description | If X follows Y then Y is a perdurant. If X follows Y then X is a perdurant. X precedes Y if and only if Y follows X. The property "follows" is transitive. |
Typology | The property "is concluded by" is a sub-property of "is temporally includes". |
Description | If X is concluded by Y then Y is a perdurant. If X is concluded by Y then X is a perdurant. X is concluded by Y if and only if Y concludes X. |
Typology | The property "is e temporal location" is a sub-property of "is exact location". |
Description | The property "is present at" is a sub-property of "is e temporal location". If X is e temporal location Y then Y is a temporal region. If X is e temporal location Y then X is an endurant. X is e temporal location Y if and only if Y is e temporal location of X. |
Typology | The property "is e temporal location of" is a sub-property of "is exact location of". |
Description | The property "is time of presence of" is a sub-property of "is e temporal location of". If X is e temporal location of Y then Y is an endurant. If X is e temporal location of Y then X is a temporal region. X is e temporal location Y if and only if Y is e temporal location of X. |
Description | The following properties are sub-properties of "is exact location": "is temporal location" and "is e temporal location". |
Description | The following properties are sub-properties of "is exact location of": "is temporal location of" and "is e temporal location of". |
Description | The property "is temporal relation" is a sub-property of "is mediated relation". |
Description | The property "is temporal relation i" is a sub-property of "is mediated relation i". |
Typology | The property "is met by" is a sub-property of "is temporally connected". |
Description | If X is met by Y then Y is a perdurant. |
Typology | The property "is present at" is a sub-property of "is e temporal location". |
Description | If X is present at Y then Y is a time interval. If X is present at Y then X is an endurant. X is present at Y if and only if Y is time of presence of X. |
Typology | The property "is started by" is a sub-property of "is temporally includes". |
Description | If X is started by Y then Y is a perdurant. If X is started by Y then X is a perdurant. X is started by Y if and only if Y starts X. |
Typology | The property "is temporal location" is a sub-property of "is exact location". |
Description | If X is temporal location Y then Y is a temporal region. If X is temporal location Y then X is a perdurant. X is temporal location of Y if and only if Y is temporal location X. |
Typology | The property "is temporal location of" is a sub-property of "is exact location of". |
Description | If X is temporal location of Y then Y is a perdurant. If X is temporal location of Y then X is a temporal region. X is temporal location of Y if and only if Y is temporal location X. |
Typology | The property "is temporal relation" is a sub-property of "is mediated relation". |
Description | The following properties are sub-properties of "is temporal relation": "is temporally overlaps", "is temporally includes", "is temporally connected", "is temporally coincides" and "precedes". If X is temporal relation Y then Y is a perdurant. If X is temporal relation Y then X is a perdurant. X is temporal relation i Y if and only if Y is temporal relation X. |
Typology | The property "is temporal relation i" is a sub-property of "is mediated relation i". |
Description | The following properties are sub-properties of "is temporal relation i": "is temporally included in" and "follows". If X is temporal relation i Y then Y is a perdurant. If X is temporal relation i Y then X is a perdurant. X is temporal relation i Y if and only if Y is temporal relation X. |
Typology | The property "is temporally coincides" is a sub-property of "is temporal relation". |
Description | inverseObjectProperties(objectProperty('#temporally-coincides'), [objectProperty('#temporally-coincides'), objectProperty('#temporally-coincides')]). inverseObjectProperties([objectProperty('#temporally-coincides'), objectProperty('#temporally-coincides')], objectProperty('#temporally-coincides')). If X is temporally coincides Y then Y is a perdurant. If X is temporally coincides Y then X is a perdurant. |
Typology | The property "is temporally connected" is a sub-property of "is temporal relation". |
Description | The following properties are sub-properties of "is temporally connected": "is met by" and "meets". inverseObjectProperties(objectProperty('#temporally-connected'), [objectProperty('#temporally-connected'), objectProperty('#temporally-connected')]). inverseObjectProperties([objectProperty('#temporally-connected'), objectProperty('#temporally-connected')], objectProperty('#temporally-connected')). If X is temporally connected Y then Y is a perdurant. If X is temporally connected Y then X is a perdurant. |
Typology | The property "is temporally included in" is a sub-property of "is temporal relation i". |
Description | The following properties are sub-properties of "is temporally included in": "starts" and "concludes". If X is temporally included in Y then Y is a perdurant. If X is temporally included in Y then X is a perdurant. X is temporally includes Y if and only if Y is temporally included in X. The property "is temporally included in" is transitive. |
Typology | The property "is temporally includes" is a sub-property of "is temporal relation". |
Description | The following properties are sub-properties of "is temporally includes": "is started by" and "is concluded by". If X is temporally includes Y then Y is a perdurant. If X is temporally includes Y then X is a perdurant. X is temporally includes Y if and only if Y is temporally included in X. The property "is temporally includes" is transitive. |
Typology | The property "is temporally overlaps" is a sub-property of "is temporal relation". |
Description | inverseObjectProperties(objectProperty('#temporally-overlaps'), [objectProperty('#temporally-overlaps'), objectProperty('#temporally-overlaps')]). inverseObjectProperties([objectProperty('#temporally-overlaps'), objectProperty('#temporally-overlaps')], objectProperty('#temporally-overlaps')). If X is temporally overlaps Y then Y is a perdurant. If X is temporally overlaps Y then X is a perdurant. |
Typology | The property "is time of presence of" is a sub-property of "is e temporal location of". |
Description | If X is time of presence of Y then Y is an endurant. If X is time of presence of Y then X is a time interval. X is present at Y if and only if Y is time of presence of X. |
Typology | The property "meets" is a sub-property of "is temporally connected". |
Description | If X meets Y then Y is a perdurant. |
Description | If any of the following relationships hold between X and Y then Y is a perdurant: "is temporally overlaps", "is temporally includes", "is temporally included in", "is temporally connected", "is temporally coincides", "is temporal relation i", "is temporal relation", "is temporal location of", "starts", "is started by", "precedes", "is met by", "meets", "follows", "concludes" and "is concluded by". If any of the following relationships hold between X and Y then X is a perdurant: "is temporally overlaps", "is temporally includes", "is temporally included in", "is temporally connected", "is temporally coincides", "is temporal relation i", "is temporal relation", "is temporal location", "starts", "is started by", "precedes", "is met by", "meets", "follows", "concludes" and "is concluded by". |
Typology | The property "precedes" is a sub-property of "is temporal relation". |
Description | If X precedes Y then Y is a perdurant. If X precedes Y then X is a perdurant. X precedes Y if and only if Y follows X. The property "precedes" is transitive. |
Typology | The property "starts" is a sub-property of "is temporally included in". |
Description | If X starts Y then Y is a perdurant. If X starts Y then X is a perdurant. X is started by Y if and only if Y starts X. |
Description | If any of the following relationships hold between X and Y then Y is a temporal region: "is temporal location" and "is e temporal location". If any of the following relationships hold between X and Y then X is a temporal region: "is temporal location of" and "is e temporal location of". |
Description | If X is present at Y then Y is a time interval. If X is time of presence of Y then X is a time interval. |