<http://erlangen-crm.org/current/P133_is_separated_from>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#SymmetricProperty> .
<http://erlangen-crm.org/current/P133_is_separated_from>	<http://www.w3.org/2000/01/rdf-schema#label>	"P133 is separated from"@en .
<http://erlangen-crm.org/current/P133_is_separated_from>	<http://www.w3.org/2002/07/owl#inverseOf>	<http://erlangen-crm.org/current/P133_is_separated_from> .
<http://erlangen-crm.org/current/P133_is_separated_from>	<http://www.w3.org/2004/02/skos/core#notation>	"P133"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://erlangen-crm.org/current/P133_is_separated_from>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Scope note:\nThis symmetric property associates two instances of E92 Spacetime Volume that have no extent in common\n\nExamples:\n- the \"Hallstatt\" period (E4) is separated from the \"La T\u00E8ne\" era (E4)\n\nIn First Order Logic:\nP133(x,y) \u2283 E92(x) \nP133(x,y) \u2283 E92(y) \nP133(x,y) \u2283 P133(y,x)"@en .
<http://erlangen-crm.org/current/P133_is_separated_from>	<http://www.w3.org/2000/01/rdf-schema#domain>	<http://erlangen-crm.org/current/E92_Spacetime_Volume> .
<http://erlangen-crm.org/current/P133_is_separated_from>	<http://www.w3.org/2000/01/rdf-schema#range>	<http://erlangen-crm.org/current/E92_Spacetime_Volume> .
<http://erlangen-crm.org/current/P133_is_separated_from>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#ObjectProperty> .