About: P115 finishes     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : data.silknow.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
rdf:type
inverseOf
rdfs:label
  • P115 finishes (en)
rdfs:domain
rdfs:range
rdfs: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.112 as of Mar 01 2023


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.3236 as of Mar 1 2023, on Linux (x86_64-pc-linux-musl), Single-Server Edition (126 GB total memory, 29 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software