Submissions:Componency/hasComponent
From Odp
hasComponent has Category:OntologyElement and is an element of Componency
Name: hasComponent
Type: owl:ObjectProperty
Description: The hasPart relation without transitivity, holding between an Object (the system) and another (the component), and assuming a Design that structures the system Object. The componency Content OP uses the transitive reduction logical pattern to preserve transitive on the superproperty from the part of Content OP. In practice, the part of acts here as the transitive reduction of the componency Content OP.