antecedent

(=>     (instance ?OBJ1 EukaryoticCell)     (exists (?OBJ2)         (and             (interiorPart ?OBJ2 ?OBJ1)             (instance ?OBJ2 CellNucleus))))	Mid-level-ontology.kif 12361-12366	If X is an instance of eukaryotic cell, then there exists Y such that Y is a interior part of X and Y is an instance of cell nucleus
(=>     (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
(=>     (and         (instance ?COLL MonoploidChromosomeSet)         (memberType ?COLL Chromosome)         (located ?COLL ?N)         (instance ?N CellNucleus)         (part ?N EukaryoticCell)         (member ?X ?COLL)         (member ?Y ?COLL)         (not             (equal ?X ?Y)))     (not         (homologousChromosome ?X ?Y)))	VirusProteinAndCellPart.kif 703-715	If All of the following hold: (1) X is an instance of monoploid chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is a member of X (7) W is a member of X (8) equal Z and W, then Z and W are homologous chromosomes
(=>     (and         (instance ?COLL HomologousChromosomeSet)         (memberType ?COLL Chromosome)         (located ?COLL ?N)         (instance ?N CellNucleus)         (part ?N EukaryoticCell)         (instance ?A MonoploidChromosomeSet)         (subCollection ?A ?COLL))     (chromosomeSetCount ?A ?COLL 2))	VirusProteinAndCellPart.kif 850-859	If All of the following hold: (1) X is an instance of homologous chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is an instance of monoploid chromosome set (7) Z is a proper sub-collection of X, then There are 2 number of Z MonoploidChromosomeSet in CollectionOfObjects X.
(=>     (and         (instance ?COLL HomologousChromosomeSet)         (memberType ?COLL Chromosome)         (located ?COLL ?N)         (instance ?N CellNucleus)         (part ?N EukaryoticCell)         (subCollection ?X ?COLL)         (subCollection ?Y ?COLL)         (not             (equal ?X ?Y)))     (homologousChromosomePair ?X ?Y))	VirusProteinAndCellPart.kif 861-872	If All of the following hold: (1) X is an instance of homologous chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is a proper sub-collection of X (7) W is a proper sub-collection of X (8) equal Z and W, then members of MonoploidChromosomeSet Z and members of MonoploidChromosomeSet W are homologoousChromosome pairs.

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners