<http://erlangen-crm.org/current/P114_is_equal_in_time_to>	<http://www.w3.org/2000/01/rdf-schema#label>	"P114 is equal in time to"@en .
<http://erlangen-crm.org/current/P114_is_equal_in_time_to>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#ObjectProperty> .
<http://erlangen-crm.org/current/P114_is_equal_in_time_to>	<http://www.w3.org/2002/07/owl#inverseOf>	<http://erlangen-crm.org/current/P114_is_equal_in_time_to> .
<http://erlangen-crm.org/current/P114_is_equal_in_time_to>	<http://www.w3.org/2000/01/rdf-schema#range>	<http://erlangen-crm.org/current/E2_Temporal_Entity> .
<http://erlangen-crm.org/current/P114_is_equal_in_time_to>	<http://www.w3.org/2000/01/rdf-schema#domain>	<http://erlangen-crm.org/current/E2_Temporal_Entity> .
<http://erlangen-crm.org/current/P114_is_equal_in_time_to>	<http://www.w3.org/2004/02/skos/core#notation>	"P114"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://erlangen-crm.org/current/P114_is_equal_in_time_to>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#TransitiveProperty> .
<http://erlangen-crm.org/current/P114_is_equal_in_time_to>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#SymmetricProperty> .
<http://erlangen-crm.org/current/P114_is_equal_in_time_to>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Scope note:\nThis symmetric property allows the instances of E2 Temporal Entity with the same E52 Time-Span to be equated.\nThis property is only necessary if the time span is unknown (otherwise the equivalence can be calculated).\n\nThis property is the same as the \"equal\" relationship of Allen\u2019s temporal logic (Allen, 1983, pp. 832-843).\nThis property is transitive.\n\nExamples:\n- the destruction of the Villa Justinian Tempus (E6) is equal in time to the death of Maximus Venderus (E69)\n\nIn First Order Logic:\nP114(x,y) \u2283 E2(x)\nP114(x,y) \u2283 E2(y)\nP114(x,y) \u2283 P114(y,x)"@en .