|
|
   Histone
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Histone EnglishLanguage "The class of proteins that are found in eukaryotic cell nuclei. They act as spools around which DNA winds to create structural units called nucleosomes. Nucleosomes in turn are wrapped into 30-nanometer fibers that form tightly packed Chromatin. Histones are highly basic proteins abundant in lysine and arginine residues. [wikipedia]") | VirusProteinAndCellPart.kif 301-304 | |
| (subclass Histone Protein) | VirusProteinAndCellPart.kif 300-300 | Histone is a subclass of protein |
| consequent |
|
|
| (=> (instance ?N Nucleosome) (exists (?D ?H) (and (instance ?D DNAMolecule) (instance ?H Histone) (part ?D ?N) (part ?H ?N)))) |
VirusProteinAndCellPart.kif 625-632 |
|
|
|
|