Property:NPO part of(part of)
From BiomedGT
Transitive parthood relation in which one entity is part of another entity, and the relation is valid for use between continuants or between occurrents but not between a continuant and an occurrent.
If P and P1 are occurrent classes, then P part_of P1 means that every instance of P is part of some instances of P1. [formal definition]: P part_of P1 holds true if and only if every occurrent p that instantiates P there is some process p1 that instantiates P1 such that p is part of p1.
Examples: drug release from nanoparticle during systemic circulation part_of systemic circulation of drug-loaded nanoparticle
If C and C1 are continuant classes, then C part_of C1 means that every instance of C (c) at any time is part of some instances of C1 (c1) at the same time []. Note that whenever we read "some instances" it should be understood as reading "one or more instances".
[formal definition]: C part_of C1 holds true if and only if every continuant c that instantiates C at some time t, there is some continuant c1 that instantiates C1 at t such that c is part of c1 at t.
Examples: carboxyl group part_of carboxylic acid dendrimer generation layer part_of dendrimer hydrophobic core of lipid bilayer part_of lipid bilayer hollow core of nanocage part_of nanocage
[source]: OBO Relation Ontology (release version 0.99, date 07:14:2006); Barry Smith et al, Relations in biomedical ontologies, Genome Biology (2005)
(previous 25) (next 25)
Pages using the property “NPO part of(part of)”
Showing 25 pages using this property.
