@base . @prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @prefix skos: . @prefix dcterms: . # # # ################################################################# # # # # Annotation properties # # # ################################################################# # # # https://w3id.org/emmo#EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 # # https://w3id.org/emmo#EMMO_31252f35_c767_4b97_a877_1235076c3e13 # # https://w3id.org/emmo#EMMO_6dd685dd_1895_46e4_b227_be9f7d643c25 # # https://w3id.org/emmo#EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 # # https://w3id.org/emmo#EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 # # https://w3id.org/emmo#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 # # https://w3id.org/emmo#EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a # # https://w3id.org/emmo#EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 # # https://w3id.org/emmo#EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f # # https://w3id.org/emmo#EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d # # https://w3id.org/emmo#EMMO_157fdf31_6387_42be_8e72_10530519214a # # http://purl.org/dc/terms/abstract # # http://purl.org/dc/terms/contributor # # http://purl.org/dc/terms/creator # # http://purl.org/dc/terms/license # # http://purl.org/dc/terms/publisher # # http://purl.org/dc/terms/title # # http://www.w3.org/2000/01/rdf-schema#isDefinedBy # # http://www.w3.org/2000/01/rdf-schema#label # # http://www.w3.org/2000/01/rdf-schema#seeAlso # # http://www.w3.org/2004/02/skos/core#altLabel # # http://www.w3.org/2004/02/skos/core#hiddenLabel # # http://www.w3.org/2004/02/skos/core#prefLabel # # # # ################################################################# # # # # Object Properties # # # ################################################################# # # # https://w3id.org/emmo#EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d # # https://w3id.org/emmo#EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4 # # https://w3id.org/emmo#EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f # # https://w3id.org/emmo#EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016 # # https://w3id.org/emmo#EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 # # https://w3id.org/emmo#EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee # # https://w3id.org/emmo#EMMO_408a46b2_3930_46da_b936_e9ce72ffdde9 # # https://w3id.org/emmo#EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d # # https://w3id.org/emmo#EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9 # # https://w3id.org/emmo#EMMO_5022e4cb_125f_429d_8556_c3e635c561f2 # # https://w3id.org/emmo#EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff # # https://w3id.org/emmo#EMMO_55354438_7000_4284_b1b9_59d60c2261b9 # # https://w3id.org/emmo#EMMO_555d0261_da5e_4301_b7f9_46f604a32e91 # # https://w3id.org/emmo#EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c # # https://w3id.org/emmo#EMMO_6835537c_d294_4005_a770_ec9621f29ed1 # # https://w3id.org/emmo#EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 # # https://w3id.org/emmo#EMMO_6e046dd0_9634_4013_b2b1_9cc468087c83 # # https://w3id.org/emmo#EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 # # https://w3id.org/emmo#EMMO_850b976f_0726_4408_b1b2_1f0ae367faf6 # # https://w3id.org/emmo#EMMO_8785be5a_2493_4b12_8f39_31907ab11748 # # https://w3id.org/emmo#EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f # # https://w3id.org/emmo#EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 # # https://w3id.org/emmo#EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 # # https://w3id.org/emmo#EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420 # # https://w3id.org/emmo#EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead # # https://w3id.org/emmo#EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c # # https://w3id.org/emmo#EMMO_aef8af39_0a22_4be8_a523_4e47ca36e035 # # https://w3id.org/emmo#EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 # # https://w3id.org/emmo#EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6 # # https://w3id.org/emmo#EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 # # https://w3id.org/emmo#EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9 # # https://w3id.org/emmo#EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3 # # https://w3id.org/emmo#EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 # # https://w3id.org/emmo#EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 # # https://w3id.org/emmo#EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 # # https://w3id.org/emmo#EMMO_e1805abe_f5b7_4c40_810a_1a01950546be # # https://w3id.org/emmo#EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78 # # https://w3id.org/emmo#EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5 # # https://w3id.org/emmo#EMMO_f68030be_94b8_4c61_a161_886468558054 # # https://w3id.org/emmo#EMMO_a32021dc_58d8_454b_915d_3951b413b8b7 # # https://w3id.org/emmo#EMMO_a8bd7094_6b40_47af_b1f4_a69d81a3afbd # # https://w3id.org/emmo#EMMO_bb6febfa_5c6b_43c9_941a_4b6157b703be # # https://w3id.org/emmo#EMMO_e4f66254_7312_4de5_a86a_6e0808baaaab # # https://w3id.org/emmo#EMMO_0528e41d_edd2_49f9_bd2a_aeabdc215515 # # https://w3id.org/emmo#EMMO_0558e802_46a4_45de_af85_47aff4dc427e # # https://w3id.org/emmo#EMMO_176e3f78_c867_4eca_9794_a4822660d9dc # # https://w3id.org/emmo#EMMO_3bd4339b_e01f_43e5_a011_74a4ef3ffa90 # # https://w3id.org/emmo#EMMO_33fd15ab_7662_4cc6_8bf6_988422efc631 # # https://w3id.org/emmo#EMMO_5fa16188_d95b_4dd2_ac63_eae63fe01504 # # https://w3id.org/emmo#EMMO_76413949_896c_4363_a955_de4722c6e149 # # # # ################################################################# # # # # Classes # # # ################################################################# # # # https://w3id.org/emmo#EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 # # https://w3id.org/emmo#EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 # # https://w3id.org/emmo#EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 # # https://w3id.org/emmo#EMMO_6c03574f_6daa_4488_a970_ee355cca2530 # # https://w3id.org/emmo#EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf # # https://w3id.org/emmo#EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d # # https://w3id.org/emmo#EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac # # https://w3id.org/emmo#EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de # # # # ################################################################# # # # # Individuals # # # ################################################################# # # # https://w3id.org/emmo#EMMO_08cb807c_e626_447b_863f_e2835540e918 # # # # ################################################################# # # # # Rules # # # ################################################################# # # # Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi a owl:Ontology; owl:versionIRI ; :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 """Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@en, """Gerhard Goldbeck Goldbeck Consulting Ltd (UK) email: gerhard@goldbeck-consulting.com"""@en; dcterms:abstract """Introduces the fundamental mereocausal (and mereotopological) concepts of EMMO and their relations with the real world entities that they represent. EMMO uses mereocausality as the ground for all the subsequent ontology modules. The concept of causal connection is used to define the first distinction between ontology entities namely the item and collections. Items are causally self-connected objects, while collections are causally disconnected. Quantum mereology is based on the concept of quantum entity. This module introduces also the fundamental mereotopological relations used to distinguish between space and time dimensions, making spacetime emerge from underlying network of causal relations between quantum entities."""@en; dcterms:contributor "Adham Hashibon, University College of London, UK"@en, "Anne de Baas, Goldbeck Consulting Ltd, UK"@en, "Francesco Zaccarini, University of Bologna, IT"@en, "Georg Schmitz, Access, DE"@en, "Gerhard Goldbeck, Goldbeck Consulting Ltd, UK"@en, "Jesper Friis, SINTEF, NO"@en, "Sebastiano Moruzzi, University of Bologna, IT"@en; dcterms:creator "Emanuele Ghedini, University of Bologna, IT"@en; dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode"; dcterms:publisher """EMMC ASBL European Materials Modelling Council Silversquare Stéphanie Avenue Louise 54 1050 Brussels CBE no: 0731 621 312 contact@emmc.eu"""@en; dcterms:title "Elementary Multiperspective Material Ontology"@en, "Mereocausality"@en; rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en; owl:versionInfo "1.0.0-beta7" . :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A person or organisation acting as a contact point for enquiries about the ontology resource"@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The annotation should include an email address."@en; skos:prefLabel "contact"@en; rdfs:subPropertyOf rdfs:comment . :EMMO_31252f35_c767_4b97_a877_1235076c3e13 a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The conceptualisation annotation is a comment that helps the reader to understand how the world has been conceptualised by the ontology authors."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A conceptualisation is the preliminary step behind each theory, preceding each logical formalisation. The readers approaching an ontology entity should first read the conceptualisation annotation to clearly understand \"what we are talking about\" and the accompanying terminology, and then read the elucidation."@en, "An elucidation can provide references to external knowledge sources (i.e. ISO, Goldbook, RoMM)."@en; skos:prefLabel "conceptualisation"@en; rdfs:subPropertyOf rdfs:comment . :EMMO_6dd685dd_1895_46e4_b227_be9f7d643c25 a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "URL to corresponding dpbedia entry."@en; rdfs:seeAlso "https://wiki.dbpedia.org/"; skos:prefLabel "dbpediaReference"@en; rdfs:subPropertyOf rdfs:seeAlso; rdfs:range xsd:anyURI . :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The etymology annotation explains the origin of a word and the historical development of its meaning."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Definitions are usually taken from Wiktionary."@en, "The etymology annotation is usually applied to rdfs:label entities, to better understand the connection between a label and the concept it concisely represents."@en; skos:prefLabel "etymology"@en; rdfs:subPropertyOf rdfs:comment . _:genid1 a owl:Axiom; owl:annotatedSource :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25; owl:annotatedProperty :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f; owl:annotatedTarget "Definitions are usually taken from Wiktionary."@en; rdfs:seeAlso "https://en.wiktionary.org/wiki/Wiktionary"@en . :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Precise and univocal description of an ontological entity in the framework of an axiomatic system."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A definition univocally determines a OWL entity using necessary and sufficient conditions referring to other OWL entities."@en; skos:prefLabel "definition"@en; rdfs:subPropertyOf rdfs:comment . :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Short enlightening explanation aimed to facilitate the user in drawing the connection (interpretation) between a OWL entity and the real world object(s) for which it stands."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "An elucidation should address the real world entities using the concepts introduced by the conceptualisation annotation."@en; skos:prefLabel "elucidation"@en; rdfs:subPropertyOf rdfs:comment . :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Illustrative example of how the entity is used."@en; skos:prefLabel "example"@en; rdfs:subPropertyOf rdfs:comment . :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability."@en; skos:prefLabel "OWLDLRestrictedAxiom"@en; rdfs:subPropertyOf rdfs:comment . _:genid2 a owl:Axiom; owl:annotatedSource :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470; owl:annotatedProperty :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9; owl:annotatedTarget "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability."@en; rdfs:seeAlso "https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Global_Restrictions_on_Axioms_in_OWL_2_DL"^^xsd:anyURI . :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A text that add some information about the entity."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A comment can be addressed to facilitate interpretation, to suggest possible usage, to clarify the concepts behind each entity with respect to other ontological apporaches."@en; skos:prefLabel "comment"@en; rdfs:subPropertyOf rdfs:comment . :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "URL to corresponding Wikipedia entry."@en; rdfs:seeAlso "https://www.wikipedia.org/"; skos:prefLabel "wikipediaReference"@en; rdfs:subPropertyOf rdfs:seeAlso; rdfs:range xsd:anyURI . :EMMO_157fdf31_6387_42be_8e72_10530519214a a owl:AnnotationProperty; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A link to a graphical representation aimed to facilitate understanding of the concept, or of an annotation."; skos:prefLabel "figure"@en; rdfs:subPropertyOf rdfs:comment; rdfs:range xsd:anyURI . dcterms:abstract a owl:AnnotationProperty . dcterms:contributor a owl:AnnotationProperty . dcterms:creator a owl:AnnotationProperty . dcterms:license a owl:AnnotationProperty . dcterms:publisher a owl:AnnotationProperty . dcterms:title a owl:AnnotationProperty . rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso . rdfs:label rdfs:range rdfs:Literal . rdfs:seeAlso rdfs:comment """EMMO applies the naming convension to its sub-properties of rdfs:seeAlso that their label must end with one of the following terms: - 'Match': resolvable URLs to corresponding entity in another ontology - 'Entry': resolvable URLs to a human readable resource describing the subject - 'Ref': non-resolvable reference to a human readable resource describing the subject"""@en, "Indicate a resource that might provide additional information about the subject resource."@en . skos:altLabel a owl:AnnotationProperty; rdfs:subPropertyOf rdfs:label . skos:hiddenLabel a owl:AnnotationProperty; rdfs:subPropertyOf rdfs:label . skos:prefLabel a owl:AnnotationProperty; rdfs:subPropertyOf rdfs:label . :EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c; owl:propertyDisjointWith :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "x isNotCauseOf y iff not(x isCauseOf y)"@en; rdfs:seeAlso :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; skos:prefLabel "isNotCauseOf"@en . :EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is not connected with the rest item or members with hasNext (or its inverse) only or hasContact relations only."@en; skos:prefLabel "hasHeterogeneousPart"@en . :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; owl:inverseOf :EMMO_a8bd7094_6b40_47af_b1f4_a69d81a3afbd; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The primitive relation that express the concept of an entity being part of another one."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All other mereology relations can be defined in FOL using hasPart as primitive."@en; skos:prefLabel "hasPart"@en . :EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that capture the overall spatial extension of the causal object."@en; skos:prefLabel "hasTemporalSlice"@en . :EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 a owl:ObjectProperty, owl:AsymmetricProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6, :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78; owl:propertyDisjointWith :EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal relation between the y effected and the x causing entities with intermediaries, where x isCauseOf y and not(y isCauseOf x)."@en; skos:altLabel "isAntecedentOf"@en; skos:prefLabel "isPredecessorOf"@en . _:genid3 a owl:Axiom; owl:annotatedSource :EMMO_3733bd38_ca2b_4264_a92a_3075a1715598; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "isPredecessorOf"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin prae (\"beforehand\") and decedere (\"depart\")."@en . :EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass of all mereological EMMO relations."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The EMMO adheres to Atomistic General Extensional Mereology (AGEM)."@en; skos:prefLabel "mereological"@en . _:genid4 a owl:Axiom; owl:annotatedSource :EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "mereological"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 """Coined by Stanisław Leśniewski in 1927, from Ancient Greek μέρος (méros, “part”) +‎ -logy (“study, discussion, science”). https://en.wiktionary.org/wiki/mereology"""@en . :EMMO_408a46b2_3930_46da_b936_e9ce72ffdde9 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4, :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is connected with the rest item or members with hasNext (or its inverse) and hasContact relations only."@en; skos:altLabel "hasSpatioTemporalPart"@en; skos:prefLabel "hasJunctionPart"@en . :EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d a owl:ObjectProperty, owl:AsymmetricProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91, :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78; owl:propertyDisjointWith :EMMO_8785be5a_2493_4b12_8f39_31907ab11748; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A temporal relation between two entities occurs when the two entities are in a one directional causality relation. The idea is that a temporal relation always implies a one-directional causality between two entities, leading to a asymmetric relation. This means that the causing entity can be in direct and optionally indirect causality relation with the effect entity. On the contrary, the effect entity cannot be in any causal relation (direct or indirect) with the causing entity."""@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A time contact occurs when x isDirectCause y and not(y isCauseOf x)."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Each pair of entities in direct causality relation is either in hasNext or hasTwoWayCauseWith relation. The two are mutually exclusive."@en, "This relation is asymmetric and irreflexive."@en; skos:altLabel "isBefore"@en; skos:prefLabel "hasNext"@en . :EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9; rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; skos:prefLabel "hasSubCollection"@en . :EMMO_5022e4cb_125f_429d_8556_c3e635c561f2 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016, :EMMO_a32021dc_58d8_454b_915d_3951b413b8b7; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is an item."@en; skos:prefLabel "hasTemporalItemSlice"@en . :EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff a owl:ObjectProperty, owl:SymmetricProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; owl:propertyDisjointWith :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78; skos:prefLabel "isSpatiallyRelatedWith"@en . :EMMO_55354438_7000_4284_b1b9_59d60c2261b9 a owl:ObjectProperty, owl:AsymmetricProperty; rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76, :EMMO_76413949_896c_4363_a955_de4722c6e149; owl:inverseOf :EMMO_bb6febfa_5c6b_43c9_941a_4b6157b703be; rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; owl:propertyDisjointWith :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with domain restricted to items."@en; skos:prefLabel "hasPortionPart"@en . :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91 a owl:ObjectProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; owl:propertyDisjointWith :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """Direct causality is a concept that capture the idea of contact between two entities, given the fact that there are no causal intermediaries between them. It requires that at least a quantum of the causing entity is direct cause of a quantum of the caused entity. It does not exclude the possibility of indirect causal routes between proper parts of the two entities."""@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal relation between the causing and the effected entities occurring without intermediaries."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Direct cause is irreflexive."@en, "Direct cause provides the edges for the transitive restriction of the direct acyclic causal graph whose nodes are the quantum entities."@en; skos:prefLabel "isDirectCauseOf"@en . :EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c a owl:ObjectProperty, owl:AsymmetricProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_a8bd7094_6b40_47af_b1f4_a69d81a3afbd; owl:inverseOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The inverse relation for hasProperPart."; rdfs:seeAlso :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; skos:prefLabel "isProperPartOf"@en . :EMMO_6835537c_d294_4005_a770_ec9621f29ed1 a owl:ObjectProperty, owl:SymmetricProperty; rdfs:subPropertyOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f, :EMMO_a8bd7094_6b40_47af_b1f4_a69d81a3afbd; owl:propertyDisjointWith :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two entities that stands for the same individuals."; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Equality is here defined following a mereological approach."; skos:prefLabel "equalsTo"@en . :EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 a owl:ObjectProperty, owl:AsymmetricProperty; rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :EMMO_3bd4339b_e01f_43e5_a011_74a4ef3ffa90, :EMMO_33fd15ab_7662_4cc6_8bf6_988422efc631; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between a collection and one of its item members."@en; skos:prefLabel "hasMember"@en . :EMMO_6e046dd0_9634_4013_b2b1_9cc468087c83 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A proper part of the whole that is not Spatial or Temporal."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "This relation identifies parts of a 4D object that do not fully cover the lifetime extent of the whole (spatial) nor the full spatial extent (temporal)."@en, """This relation is a filler, to categorise the parts of an entity that are not covered by the other parthood relations. A proper part is then the disjoint union of: spatial part, temporal part and spatio temporal part relations."""@en; skos:altLabel "hasSpatialPartialPart"@en; skos:prefLabel "hasSpatialSection"@en . :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that identify a proper item part of the whole, whose parts always cover the full spatial extension of the whole within a time interval."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A temporal part of an item cannot both cause and be caused by any other proper part of the item. A temporal part is not constraint to be causally self-connected, i.e. it can be either an item or a collection. We therefore introduce two subproperties in order to distinguish between both cases."""@en, "In EMMO FOL this is a defined property. In OWL temporal relations are primitive."@en; skos:prefLabel "hasTemporalPart"@en . :EMMO_850b976f_0726_4408_b1b2_1f0ae367faf6 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_2a33ee61_8235_4da4_b9a1_ca62cb87a016, :EMMO_5fa16188_d95b_4dd2_ac63_eae63fe01504; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is a collection."@en; skos:prefLabel "hasTemporalCollectionSlice"@en . :EMMO_8785be5a_2493_4b12_8f39_31907ab11748 a owl:ObjectProperty, owl:SymmetricProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff, :EMMO_555d0261_da5e_4301_b7f9_46f604a32e91; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A spatial contact between two entities occurs when the two entities are in an interaction relation whose causal structure is a representation of the fundamental interactions between elementary particles (Feynman diagrams). It means that if two entities are in contact, then there is at least a couple of elementary particles, one part of the first and one part of the second, interacting according to one of the fundamental interactions through virtual particles. This kind of connection is space-like (i.e. interconnecting force carrier particle is offshelf). Contacts between two entities exclude the possibility of other causal relations that are not included in a fundamental space-like interaction."""@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An interaction that is the sum of direct causality relations between two entities that are interpretable as fundamental physical interactions."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Spatial contact is symmetric and irreflexive."@en, "The contact relation is not an ordering relation since is symmetric."@en; skos:altLabel "hasSpatiialnteractionWith"@en; skos:prefLabel "contacts"@en . :EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f a owl:ObjectProperty, owl:AsymmetricProperty; rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; owl:propertyDisjointWith :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with range restricted to items."@en; skos:prefLabel "hasItemPart"@en . :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 a owl:ObjectProperty, owl:AsymmetricProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f, :EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an entity and one of its parts, when both entities are distinct."@en; skos:prefLabel "hasProperPart"@en . :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The part is not connected with the rest item or members with hasNext relation (or its inverse)."@en; skos:prefLabel "hasNonTemporalPart"@en . :EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420 a owl:ObjectProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; owl:inverseOf :EMMO_e4f66254_7312_4de5_a86a_6e0808baaaab; owl:propertyDisjointWith :EMMO_a8bd7094_6b40_47af_b1f4_a69d81a3afbd; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between an entity that overlaps another without being its part."@en; skos:prefLabel "overcrosses"@en . :EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead a owl:ObjectProperty, owl:SymmetricProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee; owl:propertyDisjointWith :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; skos:prefLabel "notOverlaps"@en . :EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """Causality is the fundamental concept describing how entities affect each other, and occurs before time and space relations. Embracing a strong reductionistic view, causality originates at quantum entities level."""@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The superclass of all causal EMMO relations."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Each pair of entities is either in isCauseOf or isNotCauseOf relation. The two are mutually exclusive."@en; skos:prefLabel "causal"@en . :EMMO_aef8af39_0a22_4be8_a523_4e47ca36e035 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A temporal part that is not a slice."@en; skos:prefLabel "hasTemporalSection"@en . :EMMO_b3c8ba10_6bee_45e7_9416_e9019aa9f023 a owl:ObjectProperty, owl:SymmetricProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_9cb984ca_48ad_4864_b09e_50d3fff19420; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two entities that overlaps and neither of both is part of the other."; skos:prefLabel "properOverlaps"@en . :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6 a owl:ObjectProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "An indirect cause is a relation between two entities that is mediated by a intermediate entity. In other words, there are no quantum parts of the causing entity that are direct cause of quantum parts of the caused entity."@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A causal relation between the effected and the causing entities with intermediaries."@en; skos:prefLabel "isIndirectCauseOf"@en . :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7 a owl:ObjectProperty, owl:AsymmetricProperty; rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; owl:inverseOf :EMMO_176e3f78_c867_4eca_9794_a4822660d9dc; rdfs:domain :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with domain restricted to collections."@en; skos:prefLabel "hasGatheredPart"@en . :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9 a owl:ObjectProperty, owl:AsymmetricProperty; rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "A proper part relation with range restricted to collections."@en; skos:prefLabel "hasScatteredPart"@en . :EMMO_d01b3ee2_91a5_4ce2_95cd_f0d2c333c6d3 a owl:ObjectProperty, owl:SymmetricProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_54d0d0f4_d9fa_4179_a9b5_4110c49dafff, :EMMO_b85e4738_500c_4e1b_bbe8_9e84190485d6; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two causally reachable entities through a path of contacts relations (i.e. representing physical interactions)."@en; skos:altLabel "alongsideOf"; skos:prefLabel "isConcomitantWith"@en . :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 a owl:ObjectProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_ad0e72fc_dcaa_490d_8371_b4d814dcda2c; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """We say that an entity causes another if there is a quantum part of the first that is in causal relation with a quantum parts of the second. An entity cannot cause itself (causal loops are forbidden) or a part of itself. For this reasons causality between entities excludes reflexivity and prevents them to overlap."""@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """The relation between an individuals x and y, that holds if and only if: a) y having a part that is causing an effect on a part of x b) y and x non-overlapping"""@en; :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 ":isCauseOf owl:propertyDisjointWith :overlaps"@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Each pair of causally connected entities is either in isDirectCauseOf or isIndirectCauseOf relation. The two are mutually exclusive."@en, "It applies to both quantums and macro-entities (entities made of more than one quantum). It is admissible for two entities to be one the cause of the other, excepts when they are both quantums."@en, """The OWL 2 DL version of the EMMO introduces this object property as primitive causal relation. It refers to the macro causality relation mC(x,y), defined in the EMMO FOL version. While the EMMO FOL introduces the quantum causality relation C(x,y) as primitive, the OWL 2 DL version substantially simplifies the theory, neglecting these lower level relations that are well above DL expressivity."""@en; skos:prefLabel "isCauseOf"@en . _:genid5 a owl:Axiom; owl:annotatedSource :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; owl:annotatedProperty :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470; owl:annotatedTarget ":isCauseOf owl:propertyDisjointWith :overlaps"@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Due to the transitivity characteristic of :overlaps subclasses, that makes it a composite property." . _:genid6 a owl:Axiom; owl:annotatedSource :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "isCauseOf"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”)."@en . :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 a owl:ObjectProperty, owl:SymmetricProperty; rdfs:subPropertyOf :EMMO_3f2e4ac2_8ef3_4a14_b826_60d37f15f8ee; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The relation between two entities that share at least one of their parts."@en; skos:prefLabel "overlaps"@en . :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_9a50a0ae_841a_46fe_8b23_3df319b60611; rdfs:domain :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A proper part of a whole, whose parts always cover the full temporal extension of the whole within a spatial interval."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "In EMMO FOL this is a defined property. In OWL temporal relations are primitive."@en; skos:prefLabel "hasSpatialPart"@en . :EMMO_e1805abe_f5b7_4c40_810a_1a01950546be a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9, :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :EMMO_76413949_896c_4363_a955_de4722c6e149; skos:prefLabel "hasFractionalCollection"@en . :EMMO_ebc9e62c_5dc4_44db_9060_7923740bdf78 a owl:ObjectProperty, owl:AsymmetricProperty, owl:IrreflexiveProperty; rdfs:subPropertyOf :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698; skos:prefLabel "isTemporallyBefore"@en . :EMMO_ec2472ae_cf4a_46a5_8555_1556f5a6c3c5 a owl:ObjectProperty; rdfs:subPropertyOf owl:topObjectProperty; rdfs:domain :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; rdfs:range :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class for all relations used by the EMMO."@en; skos:prefLabel "EMMORelation"@en . :EMMO_f68030be_94b8_4c61_a161_886468558054 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation that identify a proper part of the whole that extends itself in time along the overall lifetime of the whole, and whose parts never cover the full spatial extension of the 4D whole."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "In EMMO FOL this is a defined property. In OWL spatial relations are primitive."@en; skos:altLabel "hasSpatialIntegralPart"@en; skos:prefLabel "hasSpatialSlice"@en . :EMMO_a32021dc_58d8_454b_915d_3951b413b8b7 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9, :EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f; rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; owl:propertyDisjointWith :EMMO_5fa16188_d95b_4dd2_ac63_eae63fe01504; skos:prefLabel "hasConnectedPortion"@en . :EMMO_a8bd7094_6b40_47af_b1f4_a69d81a3afbd a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; skos:prefLabel "isPartOf"@en . :EMMO_bb6febfa_5c6b_43c9_941a_4b6157b703be a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c; skos:prefLabel "isPortionPartOf"@en . :EMMO_e4f66254_7312_4de5_a86a_6e0808baaaab a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6; skos:prefLabel "isOvercrossedBy"@en . :EMMO_0528e41d_edd2_49f9_bd2a_aeabdc215515 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_49e17ba8_dd17_4c28_b8c8_c8c5d5a9aab9, :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :EMMO_33fd15ab_7662_4cc6_8bf6_988422efc631; skos:prefLabel "hasMaximalCollection"@en . :EMMO_0558e802_46a4_45de_af85_47aff4dc427e a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7, :EMMO_3bd4339b_e01f_43e5_a011_74a4ef3ffa90, :EMMO_76413949_896c_4363_a955_de4722c6e149; skos:prefLabel "hasFractionalMember"@en . :EMMO_176e3f78_c867_4eca_9794_a4822660d9dc a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_559ab98c_1c7d_4794_996c_8c1d8d56381c; skos:prefLabel "isGatheredPartOf"@en . :EMMO_3bd4339b_e01f_43e5_a011_74a4ef3ffa90 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_8e742d6f_7fbb_40cf_949b_6806ab0d801f, :EMMO_c37d451b_e245_439f_bd94_9050e04ec9f7; rdfs:range :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; skos:prefLabel "hasSubItem"@en . :EMMO_33fd15ab_7662_4cc6_8bf6_988422efc631 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; owl:propertyDisjointWith :EMMO_76413949_896c_4363_a955_de4722c6e149; skos:prefLabel "hasMaximalPart"@en . :EMMO_5fa16188_d95b_4dd2_ac63_eae63fe01504 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_55354438_7000_4284_b1b9_59d60c2261b9, :EMMO_cc0df52b_6211_4167_9e22_5cc3ba201bd9; rdfs:range :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; skos:prefLabel "hasScatteredPortion"@en . :EMMO_76413949_896c_4363_a955_de4722c6e149 a owl:ObjectProperty; rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76; skos:prefLabel "hasNonMaximalPart"@en . :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360 a owl:Class; rdfs:subClassOf _:genid7, _:genid11; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A causal chain is an ordered causal sequence of entities that does not host any bifurcation within itself (a chain). A chain can only be partitioned in time."@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of entities that possess a temporal structure but no spatial structure."@en; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "An electron with at least one causal interaction with another particle."@en; :EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470 "hasTemporalPart min 2 (Elementary or Quantum)"@en; skos:altLabel "CausalChain"@en, "Elementary"@en; skos:prefLabel "CausalPath"@en . _:genid7 a owl:Restriction; owl:someValuesFrom _:genid8; owl:onProperty :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 . _:genid8 a owl:Class; owl:unionOf _:genid10 . _:genid10 a rdf:List; rdf:first :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; rdf:rest _:genid9 . _:genid9 a rdf:List; rdf:first :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; rdf:rest rdf:nil . _:genid11 a owl:Restriction; owl:allValuesFrom _:genid12; owl:onProperty :EMMO_7afbed84_7593_4a23_bd88_9d9c6b04e8f6 . _:genid12 a owl:Class; owl:unionOf _:genid14 . _:genid14 a rdf:List; rdf:first :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; rdf:rest _:genid13 . _:genid13 a rdf:List; rdf:first :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; rdf:rest rdf:nil . _:genid15 a owl:Axiom; owl:annotatedSource :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; owl:annotatedProperty skos:altLabel; owl:annotatedTarget "CausalChain"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Old French chaine, chaene (“chain”), from Latin catēna (“chain”)."@en . _:genid16 a owl:Axiom; owl:annotatedSource :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; owl:annotatedProperty skos:altLabel; owl:annotatedTarget "Elementary"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin elementārius (“elementary”), from elementum (“one of the four elements of antiquity; fundamentals”)."@en . _:genid17 a owl:Axiom; owl:annotatedSource :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "CausalPath"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Ancient Greek πάτος (pátos, “path”)."@en . :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31 a owl:Class; rdfs:subClassOf _:genid18; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A collection is the concept that complements the item concept, being an entity that possesses at least one part non directly causally connected with the rest. A collection can be partitioned in maximally connected items called members. The members are self-connected entities and there is no direct causality relation between them. The combination of collection and item concepts is the EMMO mereocausality alternative to set theory. However, two items can be members only if they are non direct causally connected, giving some constraints to a collection definition. For example, two entities which are directly connected cannot be two distinct members, while their interiors (i.e. the entities obtained by removing the layer of parts that provides the causal contact between them) can be."""@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of not direct causally self-connected world entities."@en; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "The collection of users of a particular software, the collection of atoms that have been part of that just dissociated molecule."@en; skos:prefLabel "Collection"@en . _:genid18 a owl:Restriction; owl:onClass :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger; owl:onProperty :EMMO_6b7276a4_4b9d_440a_b577_0277539c0fc4 . _:genid19 a owl:Axiom; owl:annotatedSource :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; owl:annotatedProperty rdfs:subClassOf; owl:annotatedTarget _:genid18; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Every collection has at least two item members, since a collection of one item is a self-connected entity (and then an item)."@en . _:genid20 a owl:Axiom; owl:annotatedSource :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "Collection"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin collectio, from colligere ‘gather together’."@en . :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68 a owl:Class; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A quantum is the most fundamental item (both mereologically and causally) and is considered causally self-connected by definition. The quantum concept recalls the fact that there is lower epistemological limit to our knowledge of the universe, related to the uncertainity principle. Space and time emerge following the network of causal connections between quantum objects. So quantum objects are adimensional objects, that precede space and time dimensions: they are simple beings (in greek οντα). Using physics concepts, we can think the quantum as an elementary particle (e.g. an electron) in a specific state between two causal interactions."""@en; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The class of entities without proper parts."@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of the mereological and causal fundamental entities."@en; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a """From a physics perspective a quantum can be related to smallest identifiable entities, according to the limits imposed by the uncertainty principle in space and time measurements. However, the quantum mereotopology approach is not restricted only to physics. For example, in a manpower management ontology, a quantum can stand for an hour (time) of a worker (space) activity."""@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A quantum is the EMMO mereological atomistic and causal reductionistic entity. To avoid confusion with the concept of atom coming from physics and to underline the causal reductionistic approach, we will use the expression quantum mereology, instead of atomistic mereology."@en; skos:prefLabel "Quantum"@en . _:genid21 a owl:Axiom; owl:annotatedSource :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "Quantum"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin quantum (plural quanta) \"as much as, so much as\"."@en . :EMMO_6c03574f_6daa_4488_a970_ee355cca2530 a owl:Class; owl:disjointUnionOf _:genid23; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The concept is based on the common usage of the word \"particle\", that is used to identify both a specific state of an elementary particle (a quantum) and both the chain of quantums that expresses the evolution of the particle in time."@en; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The union of Elementary and Quantum classes."@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of entities that have no spatial structure."@en; skos:prefLabel "CausalParticle"@en . _:genid23 a rdf:List; rdf:first :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; rdf:rest _:genid22 . _:genid22 a rdf:List; rdf:first :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; rdf:rest rdf:nil . _:genid24 a owl:Axiom; owl:annotatedSource :EMMO_6c03574f_6daa_4488_a970_ee355cca2530; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "CausalParticle"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin particula (“small part, particle”), diminutive of pars (“part, piece”)."@en . :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf a owl:Class; rdfs:subClassOf _:genid25, _:genid27; owl:disjointUnionOf _:genid31; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """The EMMO conceptualises the world using the primitive concepts of causality and parthood. Parthood is about the composition of world entities starting from other more fundamental entities. Causality is about the interactions between world entities. The quantum is the smallest indivisible part of any world entity. Quantum individuals are the fundamental causal constituents of the universe, since it is implied that causality originates from quantum-to-quantum interactions. Quantums are no-dimensional, and their aggregation makes spacetime emerge from their causal structure. Causality between macro entities (i.e. entities made of more than one quantum) is explained as the sum of the causality relations between their quantum constituents. The fundamental distinction between world entities is direct causality self-connectedness: a world entity can be self-connected xor not self-connected depending on the causality network of its fundamental components. Void regions do not exist in the EMMO, or in other words there is no spacetime without entities, since space and time are measured quantities following a causality relation between entities (spacetime emerges as relational property not as a self-standing entity). Entities are not placed in space or time: space and time are always relative between entities and are measured. In other words, space and time relations originates from causality interactions."""@en; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The disjoint union of the Item and Collection classes."@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of all the OWL individuals declared by EMMO as standing for world entities."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """EMMO entities dimensionality is related to their mereocausal structures. From the no-dimensional quantum entity, we introduce time dimension with the elementary concept, and the spacetime with the causal system concept. The EMMO conceptualisation does not allow the existence of space without a temporal dimension, the latter coming from a causal relation between entities. For this reason, the EMMO entities that are not quantum or elementaries, may be considered to be always spatiotemporal. The EMMO poses no constraints to the number of spatial dimensions for a causal system (except being higher than one)."""@en; skos:prefLabel "EMMO"@en . _:genid25 a owl:Restriction; owl:someValuesFrom :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; owl:onProperty :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . _:genid27 a owl:Restriction; owl:hasValue :EMMO_08cb807c_e626_447b_863f_e2835540e918; owl:onProperty _:genid28 . _:genid28 owl:inverseOf :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . _:genid31 a rdf:List; rdf:first :EMMO_2d2ecd97_067f_4d0e_950c_d746b7700a31; rdf:rest _:genid30 . _:genid30 a rdf:List; rdf:first :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; rdf:rest rdf:nil . _:genid26 a owl:Axiom; owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; owl:annotatedProperty rdfs:subClassOf; owl:annotatedTarget _:genid25; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Every entity is made of quantum parts. This axiomatisation is the expression of the radical reductionistic approach of the EMMO."@en . _:genid29 a owl:Axiom; owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; owl:annotatedProperty rdfs:subClassOf; owl:annotatedTarget _:genid27; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "All EMMO individuals are part of the most comprehensive entity which is the universe."@en . _:genid32 a owl:Axiom; owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; owl:annotatedProperty :EMMO_31252f35_c767_4b97_a877_1235076c3e13; owl:annotatedTarget """The EMMO conceptualises the world using the primitive concepts of causality and parthood. Parthood is about the composition of world entities starting from other more fundamental entities. Causality is about the interactions between world entities. The quantum is the smallest indivisible part of any world entity. Quantum individuals are the fundamental causal constituents of the universe, since it is implied that causality originates from quantum-to-quantum interactions. Quantums are no-dimensional, and their aggregation makes spacetime emerge from their causal structure. Causality between macro entities (i.e. entities made of more than one quantum) is explained as the sum of the causality relations between their quantum constituents. The fundamental distinction between world entities is direct causality self-connectedness: a world entity can be self-connected xor not self-connected depending on the causality network of its fundamental components. Void regions do not exist in the EMMO, or in other words there is no spacetime without entities, since space and time are measured quantities following a causality relation between entities (spacetime emerges as relational property not as a self-standing entity). Entities are not placed in space or time: space and time are always relative between entities and are measured. In other words, space and time relations originates from causality interactions."""@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "While EMMO mereocausality conceptualisation can be used on any possibile domain, so that a quantum can be a Lego brick or an furniture component, it can be better understood when a quantum is elucidated as the smallest measured time interval of existence of an elementary particle (e.g. quark, photon)."@en . _:genid33 a owl:Axiom; owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; owl:annotatedProperty :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84; owl:annotatedTarget "The disjoint union of the Item and Collection classes."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The union implies that world entities can only be items or collections (standing for a collection of causally disconnected items). Disjointness means that a collection cannot be an item and viceversa, representing the fact that a world entity cannot be causally self-connected and non-self connected at the same time."""@en . _:genid34 a owl:Axiom; owl:annotatedSource :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "EMMO"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "EMMO is the acronym of Elementary Multiperspective Material Ontology."@en . :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d a owl:Class; owl:disjointUnionOf _:genid36; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """The most fundamental unity criterion for the definition of an structure is that: - is made of at least two quantums (a structure is not a simple entity) - all quantum parts form a causally connected graph"""@en; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The union of CausalPath and CausalSystem classes."@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A self-connected composition of more than one quantum entities."@en; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A causal structure expresses itself in time and space thanks to the underlying causality relations between its constituent quantum entities. It must at least provide two temporal parts. The unity criterion beyond the definition of a causal structure (the most general concept of structure) is the existence of an undirected causal path between each of its parts."""@en; skos:altLabel "CausalObject"@en; skos:prefLabel "CausalStructure"@en . _:genid36 a rdf:List; rdf:first :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; rdf:rest _:genid35 . _:genid35 a rdf:List; rdf:first :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac; rdf:rest rdf:nil . _:genid37 a owl:Axiom; owl:annotatedSource :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d; owl:annotatedProperty skos:altLabel; owl:annotatedTarget "CausalObject"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and Medieval Latin obiectum (“object”, literally “thrown against”)."@en . _:genid38 a owl:Axiom; owl:annotatedSource :EMMO_c5ddfdba_c074_4aa4_ad6b_1ac4942d300d; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "CausalStructure"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and from Latin struere (“arrange, assemble, build”)."@en . :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac a owl:Class; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "A causal system provides the most general concept of system, being a union of causal structures interacting together. In its most simple form, a causal system is an interlacement of causal paths (the most simple structure type)."@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A non-path causal structure"@en; :EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a "A electron binded by a nucleus."@en; skos:prefLabel "CausalSystem"@en . _:genid39 a owl:Axiom; owl:annotatedSource :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "CausalSystem"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin causa (“reason, sake, cause”), and Ancient Greek σύστημα (sústēma, “musical scale; organized body; whole made of several parts or members”), from σῠν- (sun-, prefix meaning ‘with, together’) + ἵστημι (hístēmi, “to stand”)."@en . :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de a owl:Class; owl:disjointUnionOf _:genid42; :EMMO_31252f35_c767_4b97_a877_1235076c3e13 """A world entity is direct causally self-connected if any two parts that make up the whole are direct causally connected to each other. In the EMMO, topological connectivity is based on causality. All physical objects, i.e. entities whose behaviour is explained by physics laws, are represented only by items. In other words, a physical object part is embedded in a direct causal graph that provides always a path between two of its parts. Members of a collection lack such direct causality connection, i.e. they do not constitute a physical object. Following graph theory concepts, the quantums of an item are all connected together within a network of causal relations, forming a connected causal graph. A collection is then a set of disconnected graphs."""@en; :EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84 "The disjoint union of Elementary, Quantum and CausalSystem classes."@en; :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of individuals standing for direct causally self-connected world entities."@en; skos:prefLabel "Item"@en . _:genid42 a rdf:List; rdf:first :EMMO_0f795e3e_c602_4577_9a43_d5a231aa1360; rdf:rest _:genid41 . _:genid41 a rdf:List; rdf:first :EMMO_3f9ae00e_810c_4518_aec2_7200e424cf68; rdf:rest _:genid40 . _:genid40 a rdf:List; rdf:first :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac; rdf:rest rdf:nil . _:genid43 a owl:Axiom; owl:annotatedSource :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de; owl:annotatedProperty skos:prefLabel; owl:annotatedTarget "Item"@en; :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "From Latin item, \"likewise, just so, moreover\"."@en . :EMMO_08cb807c_e626_447b_863f_e2835540e918 a owl:NamedIndividual, :EMMO_e7aac247_31d6_4b2e_9fd2_e842b1b7ccac; :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; skos:prefLabel "universe"@en . a . a . a . _:genid44 a ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing the fact that an entity cannot cause itself."@en; _:genid45; _:genid47 . _:genid45 a ; rdf:first _:genid46; rdf:rest rdf:nil . _:genid46 a ; ; :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf . _:genid47 a ; rdf:first _:genid48; rdf:rest rdf:nil . _:genid48 a ; ; ; :EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d . _:genid49 a ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing parthood reflexivity."@en; _:genid50; _:genid52 . _:genid50 a ; rdf:first _:genid51; rdf:rest rdf:nil . _:genid51 a ; ; :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf . _:genid52 a ; rdf:first _:genid53; rdf:rest rdf:nil . _:genid53 a ; ; ; :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . _:genid54 a ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing reflexivity of overlapping."@en; _:genid55; _:genid57 . _:genid55 a ; rdf:first _:genid56; rdf:rest rdf:nil . _:genid56 a ; ; :EMMO_802d3e92_8770_4f98_a289_ccaaab7fdddf . _:genid57 a ; rdf:first _:genid58; rdf:rest rdf:nil . _:genid58 a ; ; ; :EMMO_d893d373_b579_4867_841e_1c2b31a8d2c6 . _:genid59 a ; rdfs:comment "Implementation of equality based on mereology."^^rdfs:Literal; _:genid62; _:genid64 . _:genid62 a ; rdf:first _:genid63; rdf:rest _:genid60 . _:genid60 a ; rdf:first _:genid61; rdf:rest rdf:nil . _:genid61 a ; ; ; :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . _:genid63 a ; ; ; :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . _:genid64 a ; rdf:first _:genid65; rdf:rest rdf:nil . _:genid65 a ; ; . _:genid66 a ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for parthood."@en; _:genid69; _:genid71 . _:genid69 a ; rdf:first _:genid70; rdf:rest _:genid67 . _:genid67 a ; rdf:first _:genid68; rdf:rest rdf:nil . _:genid68 a ; ; ; :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . _:genid70 a ; ; ; :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . _:genid71 a ; rdf:first _:genid72; rdf:rest rdf:nil . _:genid72 a ; ; ; :EMMO_17e27c22_37e1_468c_9dd7_95e137f73e7f . _:genid73 a ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing a strict one-way causality direction."@en; _:genid74; _:genid76 . _:genid74 a ; rdf:first _:genid75; rdf:rest rdf:nil . _:genid75 a ; ; ; :EMMO_3733bd38_ca2b_4264_a92a_3075a1715598 . _:genid76 a ; rdf:first _:genid77; rdf:rest rdf:nil . _:genid77 a ; ; ; :EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d . _:genid78 a ; rdfs:comment "Ensure that the hasNext relation expresses a strictly one-way causality arrow between two entities."^^rdfs:Literal; _:genid79; _:genid81 . _:genid79 a ; rdf:first _:genid80; rdf:rest rdf:nil . _:genid80 a ; ; ; :EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d . _:genid81 a ; rdf:first _:genid82; rdf:rest rdf:nil . _:genid82 a ; ; ; :EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d . _:genid83 a ; _:genid84; _:genid86 . _:genid84 a ; rdf:first _:genid85; rdf:rest rdf:nil . _:genid85 a ; ; ; :EMMO_6835537c_d294_4005_a770_ec9621f29ed1 . _:genid86 a ; rdf:first _:genid87; rdf:rest rdf:nil . _:genid87 a ; ; . _:genid88 a ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Transitivity for proper parthood."@en; _:genid91; _:genid93 . _:genid91 a ; rdf:first _:genid92; rdf:rest _:genid89 . _:genid89 a ; rdf:first _:genid90; rdf:rest rdf:nil . _:genid90 a ; ; ; :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 . _:genid92 a ; ; ; :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 . _:genid93 a ; rdf:first _:genid94; rdf:rest rdf:nil . _:genid94 a ; ; ; :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 . _:genid95 a ; :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "Enforcing exclusivity between overlapping and causality."@en; _:genid96; _:genid98 . _:genid96 a ; rdf:first _:genid97; rdf:rest rdf:nil . _:genid97 a ; ; ; :EMMO_d67ee67e_4fac_4676_82c9_aec361dba698 . _:genid98 a ; rdf:first _:genid99; rdf:rest rdf:nil . _:genid99 a ; ; ; :EMMO_aa987900_caf1_4ce2_82fa_6b1d6fbd2ead .