Chromotin |
appearance as argument number 1 |
(documentation Chromotin EnglishLanguage "The class of chromotin found in cell nucleuses of eukaryota.") | VirusProteinAndCellPart.kif 597-597 | |
(subclass Chromotin CellPart) | VirusProteinAndCellPart.kif 596-596 |
appearance as argument number 2 |
(termFormat ChineseLanguage Chromotin "染色质") | domainEnglishFormat.kif 14777-14777 | |
(termFormat ChineseTraditionalLanguage Chromotin "染色質") | domainEnglishFormat.kif 14776-14776 | |
(termFormat EnglishLanguage Chromotin "chromotin") | domainEnglishFormat.kif 14775-14775 |
antecedent |
(=> (instance ?X Chromotin) (exists (?COLL ?N) (and (instance ?COLL Collection) (located ?COLL ?X) (member ?COLL ?N) (instance ?N Nucleosome)))) |
VirusProteinAndCellPart.kif 609-616 |
consequent |
(=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS)))) |
VirusProteinAndCellPart.kif 599-607 | |
(=> (instance ?X Chromosome) (exists (?C) (and (instance ?C Chromotin) (part ?C ?X)))) |
VirusProteinAndCellPart.kif 589-594 |