About: P115 finishes     Goto   Sponge   Distinct   Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : data.doremus.org associated with source document(s)

Scope note: This property allows the ending point for a E2 Temporal Entity to be situated by reference to the ending point of another temporal entity of longer duration. This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "finishes / finished-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). This property is transitive. Examples: - Late Bronze Age (E4) finishes Bronze Age (E4) In First Order Logic: P115(x,y) ⊃ E2(x) P115(x,y) ⊃ E2(y)

AttributesValues
type
inverseOf
label
  • P115 finishes (en)
domain
range
comment
  • Scope note: This property allows the ending point for a E2 Temporal Entity to be situated by reference to the ending point of another temporal entity of longer duration. This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "finishes / finished-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). This property is transitive. Examples: - Late Bronze Age (E4) finishes Bronze Age (E4) In First Order Logic: P115(x,y) ⊃ E2(x) P115(x,y) ⊃ E2(y) (en)
notation
  • P115
is inverseOf of
Faceted Search & Find service v1.16.118 as of Aug 04 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Aug 4 2024, on Linux (x86_64-pc-linux-musl), Single-Server Edition (126 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software