TreeView 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 CellPart

appearance as argument number 2

(termFormat ChineseLanguage Chromotin "染色质")	domainEnglishFormat.kif 14774-14774
(termFormat ChineseTraditionalLanguage Chromotin "染色質")	domainEnglishFormat.kif 14773-14773
(termFormat EnglishLanguage Chromotin "chromotin")	domainEnglishFormat.kif 14772-14772

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 CellNucleus and initialPart the other kind of object and EukaryoticCell, 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