@prefix rdf: . @prefix ecrm: . @prefix owl: . ecrm:P148_has_component rdf:type owl:TransitiveProperty , owl:ObjectProperty ; owl:inverseOf ecrm:P148i_is_component_of . @prefix rdfs: . ecrm:P148_has_component rdfs:label "P148 has component"@en ; rdfs:domain ecrm:E89_Propositional_Object ; rdfs:range ecrm:E89_Propositional_Object ; rdfs:comment "Scope note:\nThis property associates an instance of E89 Propositional Object with a structural part of it that is by itself an instance of E89 Propositional Object.\n\nExamples:\n- Dante's \"Divine Comedy\" (E89) has component Dante's \"Hell\" (E89)\n\nIn First Order Logic:\nP148(x,y) \u2283 E89(x)\nP148(x,y) \u2283 E89(y)"@en . @prefix xsd: . @prefix skos: . ecrm:P148_has_component skos:notation "P148"^^xsd:string .