BSD 3-Clause: https://github.com/CommonCoreOntology/CommonCoreOntologies/blob/master/LICENSE CUBRC Inc., see full license. This ontology is designed to represent temporal regions and the relations that hold between them. Time Ontology Version 1.7 J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology has inside instant For Temporal Interval t1 and Temporal Instant t2, t1 has inside instant t2 if and only if there exists Temporal Instants t3 and t4 that are part of t1 and non-identical with t2, such that t3 is before t2 and t4 is after t2. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology has inside interval A Temporal Interval INT2 has inside interval 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology instant is after A temporal instant t2 (a instance of a zero-dimensional temporal region) is after another temporal instant t1 iff there exists some instance of a temporal interval ti1 such that t1 is the starting instant of ti1 and t2 is the ending instant of ti1. 'instant is after' is a primitive relationship. Informally, a temporal instant t2 is after some temporal instant t1 if and only if t1 precedes t2. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology instant is before A temporal instant t1 (a instance of a zero-dimensional temporal region) is before another temporal instant t2 iff there exists some instance of a temporal interval ti1 such that t1 is the starting instant of ti1 and t2 is the ending instant of ti1. 'instant is before' is a primitive relationship. Informally, a temporal instant t1 is before some temporal instant t2 if and only if t1 precedes t2. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval contained by A Temporal Interval INT1 is contained by 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 or identical to inst1, inst2 is before or identical to inst4, and it is not the case that both inst3 is identical to inst1 and inst2 is identical to inst4. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval contains 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 or identical to inst1, and inst2 is before or identical to inst4, but it is not the case that both inst3 is identical to inst1 and inst2 is identical to inst4. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval disjoint 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, contain, or equal one another. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval during 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval equals 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval finished by 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval finishes 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval is after 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval is before 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval meets 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval met by 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval overlapped by 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval overlaps 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval started by 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology interval starts 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. J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741�747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology is inside instant of 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. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Afternoon A Temporal Interval that consists of the temporal regions between when the sun is at its apex (approximately 12:00pm) and when it sets (approximately 6:00pm). http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Axial Rotation Period A Temporal Interval that is equal to the length of time required for a spinning Object to complete one rotation around its Axis of Rotation. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Calendar Day A Day that begins and ends concurrently with the Seconds specified by a Calendar System to be the first and last Seconds of the Day. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Calendar Month A Month that begins and ends concurrently with the Days specified by a Calendar System to be the first and last Days of the Month. January; February; March; April; May; June; July; August; September; October; November; December http://wordnetweb.princeton.edu/perl/webwn?s=calendar+week http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Calendar Week A Week that begins and ends concurrently with the Days specified by a Calendar System to be the first and last Days of the Week. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Calendar Year A Year that begins and ends concurrently with the Days specified by a Calendar System to be the first and last Days of the Year. http://wordnetweb.princeton.edu/perl/webwn?s=day http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Day A Temporal Interval that is equal to the approximate length of time required for an Astronomical Body to complete one rotation around its Rotational Axis as specified relative to a particular Temporal Reference System. Unless otherwise specified, a Day is assumed to be relative to the rotational motion of the Earth and is approximately equal to a twenty-four hour temporal region for which the start and end times are specified by the Temporal Reference System used. http://wordnetweb.princeton.edu/perl/webwn?s=decade http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Decade A Temporal Interval that is equal to a period of ten consecutive Years. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Evening A Temporal Interval that consists of the temporal regions between when the sun sets (approximately 6:00pm) and when people typically retire to sleep (approximately 9:00pm). http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology A Gregorian Day is twenty-four Hours in duration. Gregorian Day A Calendar Day in the Gregorian Calendar. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology A Gregorian Year begins concurrently with January 1, ends concurrently with December 31, and has an average duration of exactly 365.2425 Gregorian Days. The Gregorian Year is based upon the vernal equinox year. Unless otherwise stated, instances of Calendar Year are assumed to be instances of Gregorian Year since the Gregorian Calendar is the most widely used civil Calendar System. Gregorian Year A Calendar Year in the Gregorian Calendar. http://wordnetweb.princeton.edu/perl/webwn?s=hour http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Hour A Temporal Interval that is equal to sixty consecutive Minutes. JD https://www.defit.org/julian-date/ http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Julian Date A Time of Day as specified according to the Julian Calendar using the Julian Date epoch. https://www.defit.org/julian-date/ http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology A Julian Day begins at noon Universal Time and is twenty-four Hours in duration. Julian Day A Calendar Day in the Julian Calendar. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology A Julian Year begins concurrently with January 1, ends concurrently with December 31, and has an average duration of exactly 365.25 Julian Days. Julian Years are typically indicated by prefixing a capital 'J' in front of the Year number, e.g. J2000.0 or J2018. Julian Year A Calendar Year in the Julian Calendar. http://wordnetweb.princeton.edu/perl/webwn?s=minute http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Minute A Temporal Interval that is equal to sixty consecutive Seconds. MJD http://aa.usno.navy.mil/data/docs/JulianDate.php http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology A Day begins at midnight GMT within the Modified Julian Date reference system. The Modified Julian Date (MJD) is related to the Julian Date (JD) by the formula: MJD = JD - 2400000.5 Modified Julian Date A Time of Day as specified according to the Julian Calendar using the Modified Julian Date epoch. http://wordnetweb.princeton.edu/perl/webwn?s=month http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Month A Temporal Interval that is based on the approximate length of time required for a Natural Satellite to complete one cycle of its rotational motion around its Primary Body. Unless otherwise specified, it is assumed that a Month is specified relative to the Rotational Motion of the Moon around the Earth. Earth Months are approximately equal to four consecutive Weeks or 30 consecutive Days. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Morning A Temporal Interval that consists of the temporal regions between when the sun dawns (approximately 6:00am) and reaches its apex (approximately 12:00pm). http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology This is a defined class. Multi-Day Temporal Interval A one-dimensional temporal region that is measured in Days and spans at least one Day. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology This is a defined class. Multi-Hour Temporal Interval A one-dimensional temporal region that is measured in Hours and spans at least one Hour. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology This is a defined class. Multi-Minute Temporal Interval A one-dimensional temporal region that is measured in Minutes and spans at least one Minute. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology This is a defined class. Multi-Month Temporal Interval A one-dimensional temporal region that is measured in Months and spans at least one Month. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology This is a defined class. Multi-Second Temporal Interval A one-dimensional temporal region that is measured in Seconds and spans at least one Second. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology This is a defined class. Multi-Week Temporal Interval A one-dimensional temporal region that is measured in Weeks and spans at least one Week. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology This is a defined class. Multi-Year Temporal Interval A one-dimensional temporal region that is measured in Years and spans at least one Year. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Night A Temporal Interval that consists of the temporal regions between when people typically retire to sleep (approximately 9:00pm) and when the sun dawns (approximately 6:00am). https://en.wikipedia.org/wiki/Epoch_(reference_date) http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Reference Time Epoch Epoch Time Reference Date A Temporal Instant specified as the origin for which other Temporal Regions are measured or identified. https://physics.nist.gov/cuu/Units/second.html http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology The Second is used as the basic SI unit of time. Second A Temporal Interval that is equal to the duration of 9,192,631,770 periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the cesium 133 atom. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Time of Day A Temporal Instant that is part of a Day. http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Unix Temporal Instant A Temporal Instant as specified by the number of Seconds that have elapsed since the specified Epoch Time as described by an implementation of Unix Time. http://wordnetweb.princeton.edu/perl/webwn?s=week http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Week A Temporal Interval that is equal to seven consecutive Days. http://wordnetweb.princeton.edu/perl/webwn?s=year http://www.ontologyrepository.com/CommonCoreOntologies/Mid/TimeOntology Year A Temporal Interval that is equal to the approximate length of time required for an Astronomical Body to complete one Orbital Revolution around its Primary Body as specified relative to a particular Temporal Reference System. Unless otherwise specified, a Year is assumed to be relative to the Orbiting of the Earth around the Sun and is approximately equal to 12 Months or 365 Days.