Chromotin - Sigma Knowledge base Browser

antecedent

(=>
    (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

consequent

(=> (instance ?X Chromosome) (exists (?C) (and (instance ?C Chromotin) (part ?C ?X))))	VirusProteinAndCellPart.kif 573-578	If X is an instance of chromosome, then there exists Y such that Y is an instance of chromotin and Y is a part of X
(=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS))))	VirusProteinAndCellPart.kif 583-591	If X is an instance of Y, Y is a subclass of cell nucleus, and every Y is initially part of a eukaryotic cell, then there exists Z such that Z is an instance of chromotin and Z is a part of X

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

(termFormat EnglishLanguage Chromotin "chromotin")	domainEnglishFormat.kif 14766-14766
(termFormat ChineseTraditionalLanguage Chromotin "染色質")	domainEnglishFormat.kif 14767-14767
(termFormat ChineseLanguage Chromotin "染色质")	domainEnglishFormat.kif 14768-14768