PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX tvc: <http://www.essepuntato.it/2012/04/tvc/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>

<http://www.w3.org/2006/time#Instant> a rdfs:Class .

<http://www.w3.org/2003/11/swrl#Variable> a rdfs:Class .

tvc:ValueInTime a rdfs:Class ;
  rdfs:label "value in time"@en ;
  rdfs:comment "It defines a particular kind of time-indexed situation that represents a hub linking the entity having a particular value, the value itself and the temporal and contextual extents from which the entity-value relationship depends."@en ;
  rdfs:subClassOf <http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#TimeIndexedSituation> .

tvc:withValue a rdf:Property ;
  rdfs:label "with value"@en ;
  rdfs:comment "It holds the value had by the entity taking part to the situation."@en ;
  rdfs:domain tvc:ValueInTime ;
  rdfs:range <https://w3id.org/linkml/Any> ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#forEntity> .

tvc:withinContext a rdf:Property ;
  rdfs:label "within context"@en ;
  rdfs:comment "It links to the specific context within which the fact of the entity having the value is relevant."@en ;
  rdfs:domain tvc:ValueInTime ;
  rdfs:range <https://w3id.org/linkml/Any> ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#forEntity> .

tvc:atTime a rdf:Property ;
  rdfs:label "at time"@en ;
  rdfs:comment "It specifies the particular temporal instant or time period in which the situation takes place."@en ;
  rdfs:domain tvc:ValueInTime ;
  rdfs:range <http://www.w3.org/2006/time#TemporalEntity> ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> .

<http://www.w3.org/2006/time#Interval> a rdfs:Class .

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

<http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#TimeIndexedSituation> a rdfs:Class .

<http://www.w3.org/2006/time#TemporalEntity> a rdfs:Class .

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

tvc:hasValue a rdf:Property ;
  rdfs:label "has value"@en ;
  rdfs:comment "It links an entity (e.g., a Person) to a particular ValueInTime situation;"@en ;
  rdfs:range tvc:ValueInTime ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#hasTimeIndexedSetting> .

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

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

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