@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

prov:atTime a owl:DatatypeProperty ;
    rdfs:label "atTime" ;
    rdfs:comment "The time at which an InstantaneousEvent occurred, in the form of xsd:dateTime."@en ;
    rdfs:domain prov:InstantaneousEvent ;
    rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ;
    rdfs:range xsd:dateTime ;
    prov:category "qualified" ;
    prov:component "entities-activities" ;
    prov:sharesDefinitionWith prov:InstantaneousEvent ;
    prov:unqualifiedForm prov:endedAtTime,
        prov:generatedAtTime,
        prov:invalidatedAtTime,
        prov:startedAtTime .