Chromotin - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Chromotin EnglishLanguage "The class of chromotin found in cell nucleuses of eukaryota.")	VirusProteinAndCellPart.kif 603-603
(subclass Chromotin CellPart)	VirusProteinAndCellPart.kif 602-602	Chromotin is a subclass of cell part

appearance as argument number 2

(termFormat ChineseLanguage Chromotin "染色质")	domainEnglishFormat.kif 14781-14781
(termFormat ChineseTraditionalLanguage Chromotin "染色質")	domainEnglishFormat.kif 14780-14780
(termFormat EnglishLanguage Chromotin "chromotin")	domainEnglishFormat.kif 14779-14779

antecedent

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

VirusProteinAndCellPart.kif 615-622

consequent

(=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS))))	VirusProteinAndCellPart.kif 605-613	If an object is an instance of another kind of object and another kind of object is a subclass of cell nucleus and every the other kind of object is initially part of a eukaryotic cell, then there exists a third object such that the third object is an instance of chromotin and the third object is a part of the object
(=> (instance ?X Chromosome) (exists (?C) (and (instance ?C Chromotin) (part ?C ?X))))	VirusProteinAndCellPart.kif 595-600	If an object is an instance of chromosome, then there exists another object such that the other object is an instance of chromotin and the other object is a part of the object