@prefix ns1: <http://w3id.org/opino/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

ns1:holdsAtTime a owl:FunctionalProperty,
        owl:ObjectProperty ;
    rdfs:label "holds at time"@en ;
    rdfs:comment "A relation from a Predication, or from a Predicative Content, to the time interval at which its claim or claims are said to hold, which is the time of the content and not the time at which the claim was made. It is functional and it specialises dul:includesTime, whose domain is dul:Situation, so a Predicative Content with a time is also inferred to be a dul:Situation. Put the dates on the dul:TimeInterval, for example with dul:hasIntervalDate. Stated on a Predicative Content, the value is the default for every member that does not state its own; OWL cannot express a default that a member may override, so it is resolved in queries (see the competency questions) and not by the reasoner."@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( ns1:Predication ns1:PredicativeContent ) ] ;
    rdfs:isDefinedBy "http://w3id.org/opino/"^^xsd:anyURI ;
    rdfs:range <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#TimeInterval> ;
    rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#includesTime> .