From 6a4f75aaa901366d1d163a878657bf603c6e50e5 Mon Sep 17 00:00:00 2001
From: Emanuele Ghedini <emanuele.ghedini@gmail.com>
Date: Sat, 14 Dec 2024 17:34:24 +0100
Subject: [PATCH] Removed Redundant SubProperty Axiom

---
 mereocausality/mereocausality.ttl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/mereocausality/mereocausality.ttl b/mereocausality/mereocausality.ttl
index 3f19ce9f..3057d3ad 100644
--- a/mereocausality/mereocausality.ttl
+++ b/mereocausality/mereocausality.ttl
@@ -434,8 +434,7 @@ This type of relation represent the coexistence of two entities in the a spatial
 
 ###  https://w3id.org/emmo#EMMO_55354438_7000_4284_b1b9_59d60c2261b9
 :EMMO_55354438_7000_4284_b1b9_59d60c2261b9 rdf:type owl:ObjectProperty ;
-                                           rdfs:subPropertyOf :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ,
-                                                              <https://w3id.org/emmo#76413949_896c_4363_a955_de4722c6e149> ;
+                                           rdfs:subPropertyOf <https://w3id.org/emmo#76413949_896c_4363_a955_de4722c6e149> ;
                                            rdf:type owl:AsymmetricProperty ;
                                            rdfs:domain :EMMO_eb3a768e_d53e_4be9_a23b_0714833c36de ;
                                            skos:prefLabel "hasPortionPart"@en ;