JSON

has component

^ http://purl.obolibrary.org/obo/RO_0002180


w 'has component' p if w 'has part' p and w is such that it can be directly disassembled into into n parts p, p2, p3, ..., pn, where these parts are of similar type.

Property info

curator note

For use in recording has_part with a cardinality constraint, because OWL does not permit cardinality constraints to be used in combination with transitive object properties. In situations where you would want to say something like 'has part exactly 5 digit, you would instead use has_component exactly 5 digit.

editor note

The definition of 'has component' is still under discussion. The challenge is in providing a definition that does not imply transitivity.

has curation status

http://purl.obolibrary.org/obo/IAO_0000125

id

has_component

seeAlso

http://ontologydesignpatterns.org/wiki/Submissions:Componency

shorthand

has_component

temporal interpretation

http://purl.obolibrary.org/obo/RO_0001901

Property relations

Parents