Provides arcroles for representing specific relationships in SBRM. The class extension of a class description is a subset of the class extension of another class description. Same as OWL definition of subClassOf. For more information see http://www.w3.org/TR/owl-ref/#subClassOf-def link:definitionArc Both class extensions contain exactly the same set of individuals. Same as OWL definition of equivalentClass. For more information see http://www.w3.org/TR/owl-ref/#equivalentClass-def link:definitionArc A has part B. Note that from A hasPart B we cannot infer that B is partOf A. Same as BFO definition of hasPart. For more information see http://genomebiology.com/2005/6/5/R46 link:definitionArc A is part of B. Note that from A partOf B we cannot infer that B hasPart A. Same as BFO definition of partOf. For more information see http://genomebiology.com/2005/6/5/R46 link:definitionArc The expression that an object has a specific property. Same as OWL definition of an owl:ObjectProperty. For more information see https://www.w3.org/TR/owl-ref/#Property link:definitionArc