antecedent

(=>     (and         (haploidNumber ?CELL ?I)         (instance ?CELL Gamete)         (part ?N ?CELL)         (instance ?N CellNucleus)         (instance ?COLL CollectionOfObjects)         (located ?COLL ?N)         (memberType ?COLL Chromosome))     (memberCount ?COLL ?I))	VirusProteinAndCellPart.kif 778-787	If All of the following hold: (1) There are X number of Chromosomes in a Gamete cell Y. (2) Y is an instance of gamete (3) Z is a part of Y (4) Z is an instance of cell nucleus (5) W is an instance of collection (6) W is located at Z (7) chromosome is a member type of W, then X is a member count of W
(=>     (and         (instance ?CELL HaploidCell)         (chromosomeNumber ?CELL ?X)         (haploidNumber ?CELL ?Y))     (equal ?X ?Y))	VirusProteinAndCellPart.kif 795-800	If X is an instance of haploid cell, There are Y number of Chromosomes in MonoploidChromosomeSet X., and There are Z number of Chromosomes in a Gamete cell X., then equal Y and Z

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