https://github.com/MEMOntology/memon
Tip revision: ef80454a07222f97ae9983f6c9d15096eb16a875 authored by MEMOntology on 14 December 2018, 15:51:10 UTC
Update environmentalProcessOntology.owl
Update environmentalProcessOntology.owl
Tip revision: ef80454
TimeOntology.owl
<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#"
xml:base="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology"
xmlns:ero="http://www.ontologylibrary.mil/CommonCore/Upper/ExtendedRelationOntology#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xml="http://www.w3.org/XML/1998/namespace"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:bfo="http://purl.obolibrary.org/obo#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:obo="http://purl.obolibrary.org/obo/"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:dc="http://purl.org/dc/elements/1.1/">
<owl:Ontology rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology">
<owl:imports rdf:resource="http://www.ontologylibrary.mil/CommonCore/Upper/ExtendedRelationOntology"/>
<owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string">COPYRIGHT © 2015 CUBRC, Inc.</owl:versionInfo>
<owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string">October 24, 2016</owl:versionInfo>
<owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Version 0.90</owl:versionInfo>
</owl:Ontology>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#has_ending_instant -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#has_ending_instant">
<owl:inverseOf rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#is_ending_instant_of"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> For Temporal Interval t1 and Temporal Instant t2, t1 has ending instant t2 if and only if no Temporal Instant t3 that is part of t1 is after t2.</ero:definition>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#has_inside_instant -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#has_inside_instant">
<owl:inverseOf rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#is_inside_instant_of"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> For Temporal Interval t1 and Temporal Instant t2, t1 has inside instant t2 if and only if there exists Temporal Instants t3 and t4, non-identical with t2, and part of t1 such that t3 is before t2 and t4 is after t2.</ero:definition>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#has_starting_instant -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#has_starting_instant">
<owl:inverseOf rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#is_starting_instant_of"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> For Temporal Interval t1 and Temporal Instant t2, t1 has starting instant t2 if and only if no temporal instant t3 that is part of t1 is before t2.</ero:definition>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#instant_is_after -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#instant_is_after">
<owl:inverseOf rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#instant_is_before"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> For type Temporal Instant, is_after is a primitive relationship. Informally, one temporal intstant t2 is after some temporal instant t1 if and only if there is some Connected Temporal Region t3 between t1 and t2.</ero:definition>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#instant_is_before -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#instant_is_before">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> For type Temporal Instant, is_before is a primitive relationship. Informally, one temporal intstant t1 is before another temporal instant t2 if and only if there is some Connected Temporal Region t3 between t1 and t2.</ero:definition>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_contains -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_contains">
<owl:inverseOf rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_during"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT2 contains some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, inst3, and inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst3 is before inst1, and inst2 is before inst4.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval contains</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_disjoint -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_disjoint">
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<owl:propertyDisjointWith rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_overlapped_by"/>
<owl:propertyDisjointWith rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_overlaps"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT1 is disjoint with a Temporal Interval INT2 iff INT1 is before or meets INT2 OR INT2 is before or meets INT1. In other words, INT1 and INT2 are disjoint iff INT1 and INT2 do not overlap.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval disjoint</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_during -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_during">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT1 is during some Temporal Interval INT2 iff there exist Temporal Instants inst1, inst2, inst3, and inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst3 is before inst1, and inst2 is before inst4.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval during</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_equals -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_equals">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT1 is equal to some Temporal Interval INT2 iff there exists Temporal Instants inst1 and inst2 such that inst1 is the starting instant of both INT1 and INT2 and inst2 is the ending instant of both INT1 and INT2.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval equals</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_finished_by -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_finished_by">
<owl:inverseOf rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_finishes"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT2 is finished by some Temporal Interval INT1 iff there exists Temporal Instants inst1, inst2, and inst3 such that inst 1 is the starting instant of INT1, inst2 is the ending instant of both INT1 and INT2, inst3 is the starting instant of INT2, and inst3 is before inst1.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval finished by</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_finishes -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_finishes">
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT1 finishes some Temporal Interval INT2 iff there exists Temporal Instants inst1, inst2, and inst3 such that inst 1 is the starting instant of INT1, inst2 is the ending instant of both INT1 and INT2, inst3 is the starting instant of INT2, and inst3 is before inst1.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval finishes</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_is_after -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_is_after">
<owl:inverseOf rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_is_before"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A TemporalInterval INT2 is after some TemporalInterval INT1 iff there exists TemporalInstants inst2, inst1 such that inst2 is the starting instant of INT2 and inst1 is the ending instant of INT1 and inst2 is after inst1.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval is after</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_is_before -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_is_before">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A TemporalInterval INT1 is before some TemporalInterval INT2 iff there exists TemporalInstants inst1, inst2 such that inst1 is the ending instant of INT1 and inst2 is the starting instant of INT2 and inst1 is before inst2.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval is before</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_meets -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_meets">
<owl:inverseOf rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_met_by"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#IrreflexiveProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT1 meets some Temporal Interval INT2 iff there exists some Temporal Instant inst1 such that inst1 is the ending instant of INT1 and inst1 is the starting instant of INT2.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval meets</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_met_by -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_met_by">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#IrreflexiveProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT2 is met by some Temporal Interval INT1 iff there exists some Temporal Instant inst1 such that inst1 is the starting instant of INT2 and inst1 is the ending instant of INT1.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval met by</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_overlapped_by -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_overlapped_by">
<owl:inverseOf rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_overlaps"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT2 is overlapped by some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, inst3, inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst1 is before inst3, inst3 is before inst2, and inst2 is before inst4.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval overlapped by</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_overlaps -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_overlaps">
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT1 overlaps some Temporal Interval INT2 iff there exist Temporal Instants inst1, inst2, inst3, inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst1 is before inst3, inst3 is before inst2, and inst2 is before inst4.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval overlaps</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_started_by -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_started_by">
<owl:inverseOf rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_starts"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT2 is started by some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, and inst3 such that inst1 is the starting instant of both INT1 and INT2, inst2 is the ending instant of INT1, inst3 is the ending instant of INT2 and inst2 is before inst3.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval started by</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_starts -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_starts">
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A Temporal Interval INT1 starts some Temporal Interval INT2 iff there exist Temporal Instants inst1, inst2, and inst3 such that inst1 is the starting instant of both INT1 and INT2, inst2 is the ending instant of INT1, inst3 is the ending instant of INT2 and inst2 is before inst3.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">interval starts</rdfs:label>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#is_ending_instant_of -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#is_ending_instant_of">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> For Temporal Instant t1 and Temporal Interval t2, t1 is ending instant of t2 if and only if no Temporal Instant t3 that is part of t2 is after t1.</ero:definition>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#is_inside_instant_of -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#is_inside_instant_of">
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> For Temporal Instant t1 and Temporal Interval t2, t1 is inside instant of t2 if and only if there are Temporal Instants t3 and t4 non-identical to t1 and part of t2 such that t3 is before t1 and t4 is after t1.</ero:definition>
</owl:ObjectProperty>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#is_starting_instant_of -->
<owl:ObjectProperty rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#is_starting_instant_of">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> For Temporal Instant t1 and Temporal Interval t2, t1 is starting instant of t2 if and only if no Temporal Instant t3 that is part of t2 is before t1.</ero:definition>
</owl:ObjectProperty>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Day -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Day">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_during"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Week"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A type of temporal interval, indicated a period of twenty-four hours on the Gregorian calendar.</ero:definition>
<ero:definition_source rdf:datatype="http://www.w3.org/2001/XMLSchema#string">http://wordnetweb.princeton.edu/perl/webwn?s=day)</ero:definition_source>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Day</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Decade -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Decade">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A type of temporal interval, denoting a period of ten years.</ero:definition>
<ero:definition_source rdf:datatype="http://www.w3.org/2001/XMLSchema#string">http://wordnetweb.princeton.edu/perl/webwn?s=decade</ero:definition_source>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Hour -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Hour">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_during"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Day"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A type of temporal interval, denoting a period of sixty minutes or 1/24 of a day. </ero:definition>
<ero:definition_source rdf:datatype="http://www.w3.org/2001/XMLSchema#string">http://wordnetweb.princeton.edu/perl/webwn?s=hour</ero:definition_source>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Minute -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Minute">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_during"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Hour"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A type of temporal interval, equal to sixty seconds or 1/60 of an hour.</ero:definition>
<ero:definition_source rdf:datatype="http://www.w3.org/2001/XMLSchema#string">http://wordnetweb.princeton.edu/perl/webwn?s=minute</ero:definition_source>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Month -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Month">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_during"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Year"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A type of temporal interval, denoting approximately four weeks or 1/12 of a standard year.</ero:definition>
<ero:definition_source rdf:datatype="http://www.w3.org/2001/XMLSchema#string">http://wordnetweb.princeton.edu/perl/webwn?s=month</ero:definition_source>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Month</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiDayTemporalInterval -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiDayTemporalInterval">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_contains"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Day"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A defined class composed of instances of temporal intervals measured in days and spanning more than 1 day.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Multi-Day Temporal Interval</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiHourTemporalInterval -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiHourTemporalInterval">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_contains"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Hour"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A defined class composed of instances of temporal intervals measured in hours and spanning more than 1 hour.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Multi-Hour Temporal Interval</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiMinuteTemporalInterval -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiMinuteTemporalInterval">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_contains"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Minute"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A defined class composed of instances of temporal intervals measured in minutes and spanning more than 1 minute.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Part of Hour</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiMonthTemporalInterval -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiMonthTemporalInterval">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_contains"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Month"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A defined class composed of instances of temporal intervals measured in months and spanning more than 1 month.</ero:definition>
<ero:elucidation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Comment: Could also be used for seasons of year (e.g. Spring, Summer, etc.)</ero:elucidation>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Multimonth Temporal Interval</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiSecondTemporalInterval -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiSecondTemporalInterval">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_contains"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Second"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A defined class composed of instances of temporal intervals measured in seconds and spanning more than 1 second.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Part of Minute</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiWeekTemporalInterval -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiWeekTemporalInterval">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_contains"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Week"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A defined class composed of instances of temporal intervals measured in weeks and spanning more than 1 week.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Multi-Week Temporal Interval</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiYearTemporalInterval -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#MultiYearTemporalInterval">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_contains"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Year"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A defined class composed of instances of temporal intervals measured in years and spanning more than 1 year.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Multi-Year Temporal Interval</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Second -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Second">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_during"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Minute"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A type of temporal interval, the basic unit of time and time calculations; equal to 1/60 of a minute.</ero:definition>
<ero:definition_source rdf:datatype="http://www.w3.org/2001/XMLSchema#string">http://wordnetweb.princeton.edu/perl/webwn?s=second</ero:definition_source>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Second</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#TimeOfDay -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#TimeOfDay">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000148"/>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A type of temporal instant, indicating the approximate time broken down into hours, minutes and seconds.</ero:definition>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Time Of Day</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Week -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Week">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_during"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Month"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A type of temporal interval, denoting a period of seven days or approximately 1/4 of a month.</ero:definition>
<ero:definition_source rdf:datatype="http://www.w3.org/2001/XMLSchema#string">http://wordnetweb.princeton.edu/perl/webwn?s=week</ero:definition_source>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Week</rdfs:label>
</owl:Class>
<!-- http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Year -->
<owl:Class rdf:about="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Year">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000038"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#interval_during"/>
<owl:someValuesFrom rdf:resource="http://www.ontologylibrary.mil/CommonCore/Mid/TimeOntology#Decade"/>
</owl:Restriction>
</rdfs:subClassOf>
<ero:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string"> A type of temporal interval, denoting a period of twelve months or 365 days.</ero:definition>
<ero:definition_source rdf:datatype="http://www.w3.org/2001/XMLSchema#string">http://wordnetweb.princeton.edu/perl/webwn?s=year</ero:definition_source>
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Year</rdfs:label>
</owl:Class>
</rdf:RDF>
<!-- Generated by the OWL API (version 4.2.5.20160517-0735) https://github.com/owlcs/owlapi -->
