Figure 1From: Comparative analysis of knowledge representation and reasoning requirements across a range of life sciences textbooksA simplified view of the structure ofBiomembranerepresented in AURA.The Biomembranenode (shown in white) is universally quantified, and every other node (shown in gray) is existentially quantified. We can read a portion of this figure as follows: for every instance of Biomembrane, there exists an instance of Phospholipid-Bilayerand an instance of Glycoproteinthat are in has-partrelationship to it, and further the instance of Glycoproteinis-insidethe instance of Phospholipid-Bilayer. The usage of has-partand other relationships corresponds to instance-instance relationships [33].Back to article page