PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX timeindexedsituation: <http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>

timeindexedsituation:TimeIndexedSituation a rdfs:Class ;
  rdfs:label "Time indexed situation"@en ;
  rdfs:comment "A Situation that is explicitly indexed at some time for at least one entity." ;
  rdfs:subClassOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation> .

timeindexedsituation:forEntity a rdf:Property ;
  rdfs:label "for entity"@en ;
  rdfs:domain timeindexedsituation:TimeIndexedSituation ;
  rdfs:range <https://w3id.org/linkml/Any> ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> .

timeindexedsituation:atTime a rdf:Property ;
  rdfs:label "at time"@en ;
  rdfs:domain timeindexedsituation:TimeIndexedSituation ;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl#TimeInterval> ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> .

<http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl#TimeInterval> a rdfs:Class .

timeindexedsituation:isTimeIndexFor a rdf:Property ;
  rdfs:label "is time index for"@en ;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl#TimeInterval> ;
  rdfs:range timeindexedsituation:TimeIndexedSituation ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting> .

<http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation> a rdfs:Class .

<https://w3id.org/linkml/Any> a rdfs:Class ;
  rdfs:comment "An unconstrained type or object" .

<http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting> a rdf:Property ;
  rdfs:range <https://w3id.org/linkml/Any> .

<http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> a rdf:Property ;
  rdfs:range <https://w3id.org/linkml/Any> .

timeindexedsituation:hasTimeIndexedSetting a rdf:Property ;
  rdfs:label "has time indexed setting"@en ;
  rdfs:range timeindexedsituation:TimeIndexedSituation ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting> .