@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix tvc: <http://www.essepuntato.it/2012/04/tvc/> .

tvc:atTime a owl:ObjectProperty ;
    rdfs:label "at time"@en ;
    rdfs:comment "The particular temporal instant or time period in which the situation takes place."@en ;
    rdfs:domain tvc:ValueInTime ;
    rdfs:isDefinedBy <http://purl.org/spar/tvc/> .