1. Home
  2. Entities
  3. Properties
  4. time:intervalAfter

time:intervalAfter leaf node

URI

http://www.w3.org/2006/time#intervalAfter

Label

interval after

Description

If a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2.

Inherits from

  • time:after
  • time:intervalDisjoint

    • Usage

    DOMAINPROPERTYRANGE
    time:ProperInterval time:intervalAfter time:ProperInterval

    Implementation

    @prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix time: <http://www.w3.org/2006/time#> .

time:intervalAfter a owl:ObjectProperty ;
    rdfs:label "interval after"@en,
        "intervalo posterior"@es ;
    rdfs:comment "Si un intervalo propio T1 es posterior a otro intervalo propio T2, entonces el principio de T1 está después que el final de T2.",
        "If a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2."@en ;
    rdfs:domain time:ProperInterval ;
    rdfs:range time:ProperInterval ;
    rdfs:subPropertyOf time:after,
        time:intervalDisjoint ;
    owl:inverseOf time:intervalBefore ;
    skos:definition "If a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2."@en,
        "Si un intervalo propio T1 es posterior a otro intervalo propio T2, entonces el principio de T1 está después que el final de T2."@es .