About: has component

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: has component Goto Sponge NotDistinct Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : taxref.i3s.unice.fr associated with source document(s)

Attributes	Values
rdf:type	ObjectProperty
subPropertyOf	http://purl.obolibrary.org/obo/BFO_0000051
label	has component
seeAlso	http://ontologydesignpatterns.org/wiki/Submissions:Componency
in_subset	eco subset
http://purl.obolib...g/obo/IAO_0000114	pending final vetting
definition	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.
http://purl.obolib...g/obo/IAO_0000116	The definition of 'has component' is still under discussion. The challenge is in providing a definition that does not imply transitivity.
http://purl.obolib...g/obo/IAO_0000232	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.
http://purl.obolib...rg/obo/RO_0001900	http://purl.obolibrary.org/obo/RO_0001901
is subPropertyOf of	has component process

Faceted Search & Find service v1.13.91 as of Jun 18 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3217 as of Jun 15 2018, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (31 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software