Skip to content

Commit

Permalink
Removed Redundant SubProperty Axiom
Browse files Browse the repository at this point in the history
  • Loading branch information
emanueleghedini committed Dec 14, 2024
1 parent b0cdcde commit 6a4f75a
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions mereocausality/mereocausality.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -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 ;
Expand Down

0 comments on commit 6a4f75a

Please sign in to comment.