Alanine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasSize
  some values from: Tiny
subclass of: Restriction
  on property: hasSize
  all values from: Tiny
subclass of: Restriction
  on property: hasPolarity
  all values from: Non-Polar
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasPolarity
  some values from: Non-Polar
disjoint with: Cysteine
disjoint with: Aspartate
disjoint with: Glutamate
disjoint with: Phenylalanine
disjoint with: Glycine
disjoint with: Histidine
disjoint with: Isoleucine
disjoint with: Lysine
disjoint with: Leucine
disjoint with: Methionine
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Cysteine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasSize
  some values from: Small
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasSize
  all values from: Small
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
disjoint with: Aspartate
disjoint with: Glutamate
disjoint with: Phenylalanine
disjoint with: Glycine
disjoint with: Histidine
disjoint with: Isoleucine
disjoint with: Lysine
disjoint with: Leucine
disjoint with: Methionine
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Aspartate
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasCharge
  all values from: Negative
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasCharge
  some values from: Negative
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasSize
  all values from: Small
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophilic
subclass of: Restriction
  on property: hasSize
  some values from: Small
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophilic
disjoint with: Glutamate
disjoint with: Phenylalanine
disjoint with: Glycine
disjoint with: Histidine
disjoint with: Isoleucine
disjoint with: Lysine
disjoint with: Leucine
disjoint with: Methionine
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine
version info: TODO: Aspartate?

Glutamate
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasSize
  all values from: Small
subclass of: Restriction
  on property: hasCharge
  some values from: Negative
subclass of: Restriction
  on property: hasSize
  some values from: Small
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophilic
subclass of: Restriction
  on property: hasCharge
  all values from: Negative
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophilic
disjoint with: Phenylalanine
disjoint with: Glycine
disjoint with: Histidine
disjoint with: Isoleucine
disjoint with: Lysine
disjoint with: Leucine
disjoint with: Methionine
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Phenylalanine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasSize
  some values from: Large
subclass of: Restriction
  on property: hasSize
  all values from: Large
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aromatic
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aromatic
subclass of: Restriction
  on property: hasPolarity
  all values from: Non-Polar
subclass of: Restriction
  on property: hasPolarity
  some values from: Non-Polar
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
disjoint with: Glycine
disjoint with: Histidine
disjoint with: Isoleucine
disjoint with: Lysine
disjoint with: Leucine
disjoint with: Methionine
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Glycine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasSize
  some values from: Tiny
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasPolarity
  all values from: Non-Polar
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasPolarity
  some values from: Non-Polar
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasSize
  all values from: Tiny
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
disjoint with: Histidine
disjoint with: Isoleucine
disjoint with: Lysine
disjoint with: Leucine
disjoint with: Methionine
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Histidine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasSize
  some values from: Large
subclass of: Restriction
  on property: hasSize
  all values from: Large
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aromatic
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophilic
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophilic
subclass of: Restriction
  on property: hasCharge
  all values from: Positive
subclass of: Restriction
  on property: hasCharge
  some values from: Positive
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aromatic
disjoint with: Isoleucine
disjoint with: Lysine
disjoint with: Leucine
disjoint with: Methionine
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Isoleucine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasSize
  some values from: Large
subclass of: Restriction
  on property: hasSize
  all values from: Large
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasPolarity
  all values from: Non-Polar
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasPolarity
  some values from: Non-Polar
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
disjoint with: Lysine
disjoint with: Leucine
disjoint with: Methionine
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Lysine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophilic
subclass of: Restriction
  on property: hasSize
  all values from: Large
subclass of: Restriction
  on property: hasSize
  some values from: Large
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophilic
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasCharge
  all values from: Positive
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasCharge
  some values from: Positive
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar
disjoint with: Leucine
disjoint with: Methionine
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Leucine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasSize
  all values from: Large
subclass of: Restriction
  on property: hasPolarity
  some values from: Non-Polar
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasPolarity
  all values from: Non-Polar
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasSize
  some values from: Large
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
disjoint with: Methionine
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Methionine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
subclass of: Restriction
  on property: hasSize
  some values from: Large
subclass of: Restriction
  on property: hasPolarity
  all values from: Non-Polar
subclass of: Restriction
  on property: hasPolarity
  some values from: Non-Polar
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasSize
  all values from: Large
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
disjoint with: Asparagine
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Asparagine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasSize
  all values from: Small
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophilic
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasSize
  some values from: Small
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophilic
disjoint with: Proline
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine
version info: TODO: Should this be Aliphatic?

Proline
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasPolarity
  some values from: Non-Polar
subclass of: Restriction
  on property: hasSize
  all values from: Small
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
subclass of: Restriction
  on property: hasSize
  some values from: Small
subclass of: Restriction
  on property: hasPolarity
  all values from: Non-Polar
disjoint with: Glutamine
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Glutamine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophilic
subclass of: Restriction
  on property: hasSize
  some values from: Large
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophilic
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasSize
  all values from: Large
disjoint with: Arginine
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Arginine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasSize
  some values from: Large
subclass of: Restriction
  on property: hasCharge
  some values from: Positive
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasSize
  all values from: Large
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophilic
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophilic
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasCharge
  all values from: Positive
disjoint with: Serine
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Serine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasSize
  some values from: Tiny
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophilic
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasSize
  all values from: Tiny
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophilic
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar
disjoint with: Threonine
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Threonine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasSize
  some values from: Tiny
subclass of: Restriction
  on property: hasSize
  all values from: Tiny
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophilic
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophilic
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
disjoint with: Valine
disjoint with: Tryptophan
disjoint with: Tyrosine

Valine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasSize
  some values from: Small
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasPolarity
  all values from: Non-Polar
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aliphatic
subclass of: Restriction
  on property: hasSize
  all values from: Small
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aliphatic
subclass of: Restriction
  on property: hasPolarity
  some values from: Non-Polar
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
disjoint with: Tryptophan
disjoint with: Tyrosine

Tryptophan
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasSize
  all values from: Large
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasPolarity
  all values from: Non-Polar
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
subclass of: Restriction
  on property: hasPolarity
  some values from: Non-Polar
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aromatic
subclass of: Restriction
  on property: hasSize
  some values from: Large
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aromatic
disjoint with: Tyrosine

Tyrosine
type: Class
subclass of: SpecificAminoAcid
subclass of: Restriction
  on property: hasSize
  all values from: Large
subclass of: Restriction
  on property: hasHydrophobicity
  some values from: Hydrophobic
subclass of: Restriction
  on property: hasSideChainStructure
  some values from: Aromatic
subclass of: Restriction
  on property: hasSideChainStructure
  all values from: Aromatic
subclass of: Restriction
  on property: hasPolarity
  some values from: Polar
subclass of: Restriction
  on property: hasHydrophobicity
  all values from: Hydrophobic
subclass of: Restriction
  on property: hasCharge
  some values from: Neutral
subclass of: Restriction
  on property: hasSize
  some values from: Large
subclass of: Restriction
  on property: hasCharge
  all values from: Neutral
subclass of: Restriction
  on property: hasPolarity
  all values from: Polar

EmptyList
type: Class
equivalent class: Class
  one of: nil
equivalent class: Class
  intersection of: OWLList
  intersection of: Restriction
    on property: hasContents
    max cardinality: 0
equivalent class: Class
  intersection of: OWLList
  intersection of: Restriction
    on property: hasNext
    max cardinality: 0