<http://erlangen-crm.org/current/P9_consists_of> <http://www.w3.org/2002/07/owl#inverseOf> <http://erlangen-crm.org/current/P9i_forms_part_of> . <http://erlangen-crm.org/current/P9_consists_of> <http://www.w3.org/2000/01/rdf-schema#domain> <http://erlangen-crm.org/current/E4_Period> . <http://erlangen-crm.org/current/P9_consists_of> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#TransitiveProperty> . <http://erlangen-crm.org/current/P9_consists_of> <http://www.w3.org/2000/01/rdf-schema#range> <http://erlangen-crm.org/current/E4_Period> . <http://erlangen-crm.org/current/P9_consists_of> <http://www.w3.org/2000/01/rdf-schema#comment> "Scope note:\nThis property associates an instance of E4 Period with another instance of E4 Period that is defined by a subset of the phenomena that define the former. Therefore the spacetime volume of the latter must fall\nwithin the spacetime volume of the former.\nThis property is transitive.\n\n\nExamples:\n- Cretan Bronze Age (E4) consists of Middle Minoan (E4)\n\nIn First Order Logic:\nP9(x,y) \u2283 E4(x)\nP9(x,y) \u2283 E4(y)\nP9(x,y) \u2283 P10(y,x)"@en . <http://erlangen-crm.org/current/P9_consists_of> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> . <http://erlangen-crm.org/current/P9_consists_of> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://erlangen-crm.org/current/P10i_contains> . <http://erlangen-crm.org/current/P9_consists_of> <http://www.w3.org/2000/01/rdf-schema#label> "P9 consists of"@en . <http://erlangen-crm.org/current/P9_consists_of> <http://www.w3.org/2004/02/skos/core#notation> "P9"^^<http://www.w3.org/2001/XMLSchema#string> .