@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <https://w3id.org/emmo#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
ns0:EMMO_08cb807c_e626_447b_863f_e2835540e918
a owl:NamedIndividual, ns0:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ;
rdfs:comment "The universe is considered as a causally self-connected object, encompassing all other objects. For this reason is unique."@en, "u ≡ σx⟨P(x, x)⟩" ;
rdfs:isDefinedBy <https://w3id.org/emmo/mereocausality#> ;
rdfs:label "universe"@en ;
skos:prefLabel "universe"@en ;
ns0:EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The universe is considered as a causally self-connected object, encompassing all other objects. For this reason is unique."@en ;
ns0:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "u ≡ σx⟨P(x, x)⟩" .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <https://w3id.org/emmo#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
ns0:EMMO_08cb807c_e626_447b_863f_e2835540e918
a owl:NamedIndividual, ns0:EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac ;
rdfs:comment "The universe is considered as a causally self-connected object, encompassing all other objects. For this reason is unique."@en, "u ≡ σx⟨P(x, x)⟩" ;
rdfs:isDefinedBy <https://w3id.org/emmo/mereocausality#> ;
rdfs:label "universe"@en ;
skos:prefLabel "universe"@en ;
ns0:EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The universe is considered as a causally self-connected object, encompassing all other objects. For this reason is unique."@en ;
ns0:EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "u ≡ σx⟨P(x, x)⟩" .