Nucleosome - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Nucleosome CellPart)	VirusProteinAndCellPart.kif 602-602	Nucleosome is a subclass of cell part
(documentation Nucleosome EnglishLanguage "A Nucleosome is the fundamental subunit of Chromatin. It is the basic structural unit of DNA packaging in eukaryotes. The structure of a nucleosome consists of a segment of DNA wound around eight Histone proteins and resembles thread wrapped around a spool. [Wikipedia]")	VirusProteinAndCellPart.kif 603-606	Nucleosome is a subclass of cell part

appearance as argument number 2

(termFormat EnglishLanguage Nucleosome "nucleosome")

antecedent

(=>
    (instance ?N Nucleosome)
    (exists (?D ?H)
        (and
            (instance ?D DNAMolecule)
            (instance ?H Histone)
            (part ?D ?N)
            (part ?H ?N))))

If X is an instance of nucleosome, then there exist Y, Z such that Y is an instance of DNA molecule, Z is an instance of histone, Y is a part of X, and Z is a part of X

consequent

(=>
    (instance ?X Chromotin)
    (exists (?COLL ?N)
        (and
            (instance ?COLL CollectionOfObjects)
            (located ?COLL ?X)
            (member ?COLL ?N)
            (instance ?N Nucleosome))))

If X is an instance of chromotin, then there exist Y, Z such that Y is an instance of collection, Y is located at X, Y is a member of Z, and Z is an instance of nucleosome