Figure 1

A 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].