:partOf leaf node


URI

http://ethon.consensys.net/partOf

Label

part of

Description

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.

Inherits from

Usage

DOMAINPROPERTYRANGE
owl:Thing (inferred) :partOf owl:Thing (inferred)

Implementation

@prefix : <http://ethon.consensys.net/> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix ns: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix v0: <http://ethon.consensys.net/v0/> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix void: <http://rdfs.org/ns/void#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

: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" .