@prefix : <http://ethon.consensys.net/> . @prefix ns: <http://www.w3.org/2003/06/sw-vocab-status/ns#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . :partOf a owl:ObjectProperty, owl:TransitiveProperty ; rdfs:label "part of"@en ; :suggestedStringRepresentation "partOf" ; rdfs:comment "This is a general relation to express part of relationships. The classic study of parts and wholes, mereology, has three axioms: 1. the part-of relation is Transitive - \"parts of parts are parts of the whole\" - If A is part of B and B is part of C, then A is part of C Reflexive - \"Everything is part of itself\" - A is part of A Antisymmetric - \"Nothing is a part of its parts\" - if A is part of B and A != B then B is not part of A."@en ; rdfs:seeAlso <https://www.w3.org/2001/sw/BestPractices/OEP/SimplePartWhole/> ; rdfs:subPropertyOf :EthOnObjectProperty ; ns:term_status "testing" .