@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ti: <http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl#> .
@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 something is happening."@en ;
    rdfs:domain tisit:TimeIndexedSituation ;
    rdfs:isDefinedBy tisit: ;
    rdfs:range ti:TimeInterval .