Table 5 Translation of first order statements into DL
From: Grains, components and mixtures in biomedical ontologies
No. | Translation into DL | Remark |
|---|---|---|
(4) | Molecule and proper_part_of some X | “being a molecular component of X” |
(5) | Atom and proper_part_of some X | “being an atomic component of X” |
(6) | (Proton or Neutron or Electron) and proper_part_of some X | “being an atomic part of X” |
(7) | X COLL and has_grain exactly 2 X and has_grain only X | “being an X PAIR ” |
(9) | Hand subClassOf has_component some Finger COLL | |
(10) | Alcohol-molecule subClassOf has_component some C COLL |