carbon
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

cation
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: has-charge
    min cardinality: 1
  intersection of: Restriction
    on property: has-charge
    max cardinality: 4
  intersection of: Restriction
    on property: has-charge
    some values from: positive-charge

cesium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

cobalt
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

copper
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

macromolecular-compound
type: Class
equivalent class: Class
  intersection of: Class
    intersection of: molecule
    intersection of: compound
  intersection of: Restriction
    on property: has-molecular-weight
    cardinality: 1
  intersection of: Restriction
    on property: has-molecular-weight
    some values from: integer
  intersection of: Restriction
    on property: polymer-of
    some values from: small-organic-molecular-compound
  intersection of: Restriction
    on property: polymer-of
    all values from: small-organic-molecular-compound
  intersection of: Restriction
    on property: has-length
    cardinality: 1
  intersection of: Restriction
    on property: has-length
    some values from: residue-number
disjoint with: small-molecular-compound
subclass of: Class
  union of: protein
  union of: nucleic-acid
  union of: polysaccaride

small-nuclear-rna
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: ribo-nucleotide
  intersection of: Restriction
    on property: polymer-of
    all values from: ribo-nucleotide
  intersection of: Restriction
    on property: transcribed-from
    some values from: gene
  intersection of: Restriction
    on property: transcribed-from
    all values from: gene
  intersection of: Restriction
    on property: part-of
    cardinality: 1
  intersection of: Restriction
    on property: part-of
    all values from: spliceosome
disjoint with: ribosomal-rna

gene
type: Class
subclass of: Class
  intersection of: dna-part
  intersection of: Class
    intersection of: Restriction
      on property: part-of
      some values from: Class
        union of: chromosome
        union of: plasmid
    intersection of: Restriction
      on property: part-of
      all values from: Class
        union of: chromosome
        union of: plasmid
subclass of: Restriction
  on property: has-name
  min cardinality: 1
subclass of: Restriction
  on property: has-name
  all values from: Class
    union of: gene-name
    union of: Class
      intersection of: Restriction
        on property: part-of
        min cardinality: 1
      intersection of: Restriction
        on property: part-of
        all values from: gene-name

iodine
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

coenzyme-requiring-enzyme
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: amino-acid
  intersection of: Restriction
    on property: polymer-of
    all values from: amino-acid
  intersection of: Restriction
    on property: catalyses
    some values from: reaction
  intersection of: Restriction
    on property: has-bound
    min cardinality: 1
  intersection of: Restriction
    on property: has-bound
    some values from: coenzyme
  intersection of: Restriction
    on property: has-ec-number
    some values from: ec-number

ligand
type: Class
subclass of: chemical-part
subclass of: Restriction
  on property: number-of-atoms
  all values from: integer
subclass of: Restriction
  on property: atom-type
  some values from: string
subclass of: Restriction
  on property: has-bond
  min cardinality: 1
subclass of: Restriction
  on property: has-bond
  some values from: covalent-bond

mitochondrial-dna
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: deoxy-nucleotide
  intersection of: Restriction
    on property: polymer-of
    all values from: deoxy-nucleotide
  intersection of: Restriction
    on property: strandedness
    some values from: double-stranded
  intersection of: Restriction
    on property: part-of
    cardinality: 1
  intersection of: Restriction
    on property: part-of
    all values from: mitochondrial-chromosome

protein
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: amino-acid
  intersection of: Restriction
    on property: polymer-of
    all values from: amino-acid
disjoint with: nucleic-acid
disjoint with: polysaccaride
subclass of: Class
  intersection of: Restriction
    on property: has-name
    min cardinality: 1
  intersection of: Restriction
    on property: has-name
    some values from: Class
      union of: protein-name
      union of: Restriction
        on property: part-of
        all values from: protein-name
subclass of: Class
  intersection of: Restriction
    on property: has-function
    min cardinality: 1
  intersection of: Restriction
    on property: has-function
    some values from: biological-function
  intersection of: Restriction
    on property: has-function
    all values from: biological-function
subclass of: Class
  intersection of: Restriction
    on property: has-sequence
    min cardinality: 1
  intersection of: Restriction
    on property: has-sequence
    some values from: Class
      union of: protein-sequence
      union of: Restriction
        on property: part-of
        all values from: protein-sequence
  intersection of: Restriction
    on property: has-sequence
    all values from: Class
      union of: protein-sequence
      union of: Restriction
        on property: part-of
        all values from: protein-sequence
subclass of: Class
  intersection of: Restriction
    on property: translated-from
    some values from: Class
      union of: dna
      union of: messenger-rna
  intersection of: Restriction
    on property: translated-from
    all values from: Class
      union of: dna
      union of: messenger-rna
subclass of: Restriction
  on property: has-secondary-structure
  all values from: protein-secondary-structure
subclass of: Class
  intersection of: Restriction
    on property: homologous-to
    some values from: Class
      union of: protein
      union of: nucleic-acid
  intersection of: Restriction
    on property: homologous-to
    all values from: Class
      union of: protein
      union of: nucleic-acid
subclass of: Class
  intersection of: Restriction
    on property: has-species
    min cardinality: 1
  intersection of: Restriction
    on property: has-species
    some values from: species
  intersection of: Restriction
    on property: has-species
    all values from: species
subclass of: Restriction
  on property: has-accession-number
  some values from: accession-number
subclass of: Class
  intersection of: Restriction
    on property: part-of
    some values from: Class
      union of: extra-cellular-space
      union of: cell
  intersection of: Restriction
    on property: part-of
    all values from: Class
      union of: extra-cellular-space
      union of: cell
subclass of: Class
  intersection of: Restriction
    on property: cited-in
    min cardinality: 1
  intersection of: Restriction
    on property: cited-in
    some values from: published-material

nickel
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

oxygen
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

francium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

cytosol
type: Class
equivalent class: Class
  intersection of: biological-compartment
  intersection of: cellular-part
  intersection of: Restriction
    on property: has-boundary
    cardinality: 1
  intersection of: Restriction
    on property: has-boundary
    all values from: cell-membrane

sodium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

nad-requiring-oxidoreductase
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: amino-acid
  intersection of: Restriction
    on property: polymer-of
    all values from: amino-acid
  intersection of: Restriction
    on property: catalyses
    some values from: oxidation-and-reduction
  intersection of: Restriction
    on property: has-ec-number
    some values from: ec-number
  intersection of: Restriction
    on property: has-bound
    min cardinality: 1
  intersection of: Restriction
    on property: has-bound
    some values from: nad

vanadium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

bromine
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

lithium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

phosphorous
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

transfer-rna
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: ribo-nucleotide
  intersection of: Restriction
    on property: polymer-of
    all values from: ribo-nucleotide
  intersection of: Restriction
    on property: transcribed-from
    some values from: gene
  intersection of: Restriction
    on property: transcribed-from
    all values from: gene
  intersection of: Restriction
    on property: has-part
    cardinality: 1
  intersection of: Restriction
    on property: has-part
    some values from: anti-codon
disjoint with: small-nuclear-rna
disjoint with: ribosomal-rna

trivalent-cation
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: has-charge
    cardinality: 3
  intersection of: Restriction
    on property: has-charge
    some values from: positive-charge

molecule
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: number-of-atoms
    some values from: integer
  intersection of: Restriction
    on property: has-bond
    min cardinality: 1
  intersection of: Restriction
    on property: has-bond
    some values from: covalent-bond
  intersection of: Restriction
    on property: has-molecular-weight
    some values from: molecular-weight

divalent-cation
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: has-charge
    cardinality: 2
  intersection of: Restriction
    on property: has-charge
    some values from: positive-charge

genome-part
type: Class
equivalent class: Class
  intersection of: dna-part
  intersection of: Restriction
    on property: part-of
    cardinality: 1
  intersection of: Restriction
    on property: part-of
    all values from: Class
      union of: plasmid
      union of: chromosome

chloroplast-compartment
type: Class
equivalent class: Class
  intersection of: biological-compartment
  intersection of: cellular-part
  intersection of: Restriction
    on property: has-boundary
    cardinality: 1
  intersection of: Restriction
    on property: has-boundary
    all values from: chloroplast-membrane

nucleic-acid
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: nucleotide
  intersection of: Restriction
    on property: polymer-of
    all values from: nucleotide
disjoint with: polysaccaride
subclass of: Class
  intersection of: Restriction
    on property: has-accession-number
    some values from: accession-number
  intersection of: Restriction
    on property: has-accession-number
    all values from: accession-number
subclass of: Class
  intersection of: Restriction
    on property: has-entry-id
    some values from: entry-identifier
  intersection of: Restriction
    on property: has-entry-id
    all values from: entry-identifier
subclass of: Class
  intersection of: Restriction
    on property: has-species
    min cardinality: 1
  intersection of: Restriction
    on property: has-species
    some values from: species
  intersection of: Restriction
    on property: has-species
    all values from: species
subclass of: Class
  intersection of: Restriction
    on property: homologous-to
    min cardinality: 0
  intersection of: Restriction
    on property: homologous-to
    some values from: nucleic-acid
  intersection of: Restriction
    on property: homologous-to
    all values from: nucleic-acid
subclass of: Class
  intersection of: Restriction
    on property: cited-in
    min cardinality: 1
  intersection of: Restriction
    on property: cited-in
    some values from: published-material

cadmium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

calcium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

genomic-dna
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: deoxy-nucleotide
  intersection of: Restriction
    on property: polymer-of
    all values from: deoxy-nucleotide
  intersection of: Restriction
    on property: strandedness
    some values from: double-stranded
  intersection of: Restriction
    on property: part-of
    cardinality: 1
  intersection of: Restriction
    on property: part-of
    all values from: Class
      union of: nuclear-chromosome
      union of: mitochondrial-chromosome
      union of: chloroplast-chromosome

halogen
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

nuclear-dna
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: deoxy-nucleotide
  intersection of: Restriction
    on property: polymer-of
    all values from: deoxy-nucleotide
  intersection of: Restriction
    on property: strandedness
    some values from: double-stranded
  intersection of: Restriction
    on property: part-of
    cardinality: 1
  intersection of: Restriction
    on property: part-of
    all values from: nuclear-chromosome

magnesium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

organic-molecular-compound
type: Class
subclass of: chemical
subclass of: Restriction
  on property: has-bond
  min cardinality: 1
subclass of: Restriction
  on property: has-bond
  some values from: covalent-bond
subclass of: Restriction
  on property: atom-type
  some values from: string
subclass of: Restriction
  on property: number-of-atoms
  some values from: integer
subclass of: Restriction
  on property: contains
  min cardinality: 1
subclass of: Restriction
  on property: contains
  some values from: carbon

small-molecular-compound
type: Class
subclass of: Class
  intersection of: molecule
  intersection of: compound
subclass of: Restriction
  on property: has-molecular-weight
  cardinality: 1
subclass of: Restriction
  on property: has-molecular-weight
  some values from: integer

potassium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

astatine
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

coenzyme-requiring-holoenzyme
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: amino-acid
  intersection of: Restriction
    on property: polymer-of
    all values from: amino-acid
  intersection of: Restriction
    on property: catalyses
    some values from: reaction
  intersection of: Restriction
    on property: has-bound
    min cardinality: 1
  intersection of: Restriction
    on property: has-bound
    some values from: coenzyme
  intersection of: Restriction
    on property: has-bound
    min cardinality: 1
  intersection of: Restriction
    on property: has-bound
    some values from: prosthetic-group
  intersection of: Restriction
    on property: has-ec-number
    some values from: ec-number

monovalent-anion
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: has-charge
    cardinality: 1
  intersection of: Restriction
    on property: has-charge
    some values from: negative-charge

copper-divalent-cation
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    some values from: integer
  intersection of: Restriction
    on property: has-metal-class
    some values from: metal
  intersection of: Restriction
    on property: has-charge
    cardinality: 2
  intersection of: Restriction
    on property: has-charge
    some values from: positive-charge

metal
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer
disjoint with: nonmetal
disjoint with: metalloid

tungsten
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

ribosomal-rna
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: ribo-nucleotide
  intersection of: Restriction
    on property: polymer-of
    all values from: ribo-nucleotide
  intersection of: Restriction
    on property: transcribed-from
    some values from: gene
  intersection of: Restriction
    on property: transcribed-from
    all values from: gene
  intersection of: Restriction
    on property: part-of
    cardinality: 1
  intersection of: Restriction
    on property: part-of
    some values from: ribosome

divalent-anion
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: has-charge
    cardinality: 2
  intersection of: Restriction
    on property: has-charge
    some values from: negative-charge

nucleotide-binding-site
type: Class
equivalent class: Class
  intersection of: binding-site
  intersection of: Restriction
    on property: binds
    min cardinality: 1

ribosome-binding-site
type: Class
subclass of: rna-part
subclass of: Restriction
  on property: part-of
  some values from: messenger-rna
subclass of: Restriction
  on property: binds
  cardinality: 1
subclass of: Restriction
  on property: binds
  some values from: ribosome

messenger-rna
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: ribo-nucleotide
  intersection of: Restriction
    on property: polymer-of
    all values from: ribo-nucleotide
  intersection of: Restriction
    on property: transcribed-from
    some values from: gene
  intersection of: Restriction
    on property: transcribed-from
    all values from: gene
  intersection of: Restriction
    on property: translated-to
    min cardinality: 1
  intersection of: Restriction
    on property: translated-to
    all values from: protein
disjoint with: transfer-rna
disjoint with: small-nuclear-rna
disjoint with: ribosomal-rna

mitochondrial-compartment
type: Class
equivalent class: Class
  intersection of: biological-compartment
  intersection of: cellular-part
  intersection of: Restriction
    on property: has-boundary
    cardinality: 1
  intersection of: Restriction
    on property: has-boundary
    all values from: mitochondrial-membrane

anion
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: has-charge
    min cardinality: 1
  intersection of: Restriction
    on property: has-charge
    max cardinality: 4
  intersection of: Restriction
    on property: has-charge
    some values from: negative-charge

calcium-binding-site
type: Class
equivalent class: Class
  intersection of: binding-site
  intersection of: Restriction
    on property: binds
    min cardinality: 1
  intersection of: Restriction
    on property: binds
    some values from: calcium

alkali-metal
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

metalloid
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

rubidium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

complement-dna
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: deoxy-nucleotide
  intersection of: Restriction
    on property: polymer-of
    all values from: deoxy-nucleotide
  intersection of: Restriction
    on property: strandedness
    some values from: single-stranded
  intersection of: Restriction
    on property: reverse-transcribed-from
    cardinality: 1
  intersection of: Restriction
    on property: reverse-transcribed-from
    all values from: Class
      union of: messenger-rna
      union of: Class
        intersection of: Restriction
equivalent class: expressed-sequence-tag

monovalent-cation
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: has-charge
    cardinality: 1
  intersection of: Restriction
    on property: has-charge
    some values from: positive-charge

molybdenum
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

collection-book
type: Class
subclass of: published-material
subclass of: Restriction
  on property: has-editor
  some values from: editor-name
subclass of: Restriction
  on property: has-part
  min cardinality: 1
subclass of: Restriction
  on property: has-part
  some values from: authored-chapter

sulphur
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

selenium
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

manganese
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

ion
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: has-charge
    min cardinality: 1
  intersection of: Restriction
    on property: has-charge
    some values from: electrical-charge

cleaved-peptide
type: Class
subclass of: peptide
subclass of: Restriction
  on property: part-of
  cardinality: 1
subclass of: Restriction
  on property: part-of
  all values from: protein

protein-binding-site
type: Class
equivalent class: Class
  intersection of: binding-site
  intersection of: Restriction
    on property: binds
    min cardinality: 1
  intersection of: Restriction
    on property: binds
    some values from: protein

metal-binding-site
type: Class
equivalent class: Class
  intersection of: binding-site
  intersection of: Restriction
    on property: binds
    min cardinality: 1
  intersection of: Restriction
    on property: binds
    some values from: metal

nonmetal
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer
disjoint with: metalloid

holoenzyme
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: amino-acid
  intersection of: Restriction
    on property: polymer-of
    all values from: amino-acid
  intersection of: Restriction
    on property: catalyses
    some values from: reaction
  intersection of: Restriction
    on property: has-bound
    min cardinality: 1
  intersection of: Restriction
    on property: has-bound
    some values from: prosthetic-group
  intersection of: Restriction
    on property: has-ec-number
    some values from: ec-number

chlorine
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

zinc-divalent-cation
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    some values from: integer
  intersection of: Restriction
    on property: has-metal-class
    some values from: metal
  intersection of: Restriction
    on property: has-charge
    cardinality: 2
  intersection of: Restriction
    on property: has-charge
    some values from: positive-charge

chloroplast-dna
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: deoxy-nucleotide
  intersection of: Restriction
    on property: polymer-of
    all values from: deoxy-nucleotide
  intersection of: Restriction
    on property: strandedness
    some values from: double-stranded
  intersection of: Restriction
    on property: part-of
    cardinality: 1
  intersection of: Restriction
    on property: part-of
    all values from: chloroplast-chromosome

flourine
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

holoprotein
type: Class
equivalent class: Class
  intersection of: macromolecular-compound
  intersection of: Restriction
    on property: polymer-of
    some values from: amino-acid
  intersection of: Restriction
    on property: polymer-of
    all values from: amino-acid
  intersection of: Restriction
    on property: has-bound
    min cardinality: 1
  intersection of: Restriction
    on property: has-bound
    some values from: prosthetic-group

atom
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer
subclass of: Class
  union of: metal
  union of: nonmetal
  union of: metalloid

iron
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

zinc
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    cardinality: 1
  intersection of: Restriction
    on property: atomic-number
    some values from: integer

iron-divalent-cation
type: Class
equivalent class: Class
  intersection of: chemical
  intersection of: Restriction
    on property: atomic-number
    some values from: integer
  intersection of: Restriction
    on property: has-metal-class
    some values from: metal
  intersection of: Restriction
    on property: has-charge
    cardinality: 2
  intersection of: Restriction
    on property: has-charge
    some values from: positive-charge

Restriction
on property: part-of
cardinality: 1