@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix tisit: <http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#> .

tisit:atTime a owl:FunctionalProperty,
        owl:ObjectProperty ;
    rdfs:label "at time"@en ;
    rdfs:comment "A time interval during which a status is held by a document." ;
    rdfs:isDefinedBy tisit: .